modified:   DBio/KBio.hs
	modified:   README.md
	modified:   AlphaResolution.hs
	modified:   Main.hs
	modified:   ProsLogic.hs
Merge branch 'master' of https://github.com/shelanoir/hedge-alg