modified:   Ahedge.hs
	modified:   AlphaResolution.hs
	modified:   testground.hs
	modified:   AlphaResolution.hs
        added the type synonym Clause

	modified:   testground.hs