modified:   Ahedge.hs
	modified:   AlphaResolution.hs
	modified:   HedgeClass.hs
	modified:   HedgeTruth.hs
	modified:   ProsLogic.hs
	modified:   README.md
	modified:   hedge-original.hs
	modified:   testground.hs