modified:   AlphaResolution.hs
	modified:   ProsLogic.hs
	modified:   README.md
	new file:   SelfRestart.hs
	modified:   testground.hs
	modified:   testground.hs
	modified:   AlphaResolution.hs
	modified:   ProsLogic.hs
	modified:   README.md
	modified:   testground.hs