File list (Check if you may need any files):
Peterson算法证明程序\Debug\Experiment.obj
....................\.....\PetersonPro.exe
....................\.....\PetersonPro.ilk
....................\.....\PetersonPro.pch
....................\.....\PetersonPro.pdb
....................\.....\vc60.idb
....................\.....\vc60.pdb
....................\Experiment.cpp
....................\PetersonPro.dsp
....................\PetersonPro.dsw
....................\PetersonPro.ncb
....................\PetersonPro.opt
....................\PetersonPro.plg
....................\result.txt
....................\Debug
Peterson算法证明程序