modified:   KBio.hs
	modified:   KBio.hs
	new file:   initdb.hs
	modified:   KBio.hs
	modified:   KBio.hs
	modified:   KBio.hs
	modified:   testground.hs
	modified:   Hio.hs
	modified:   testground.hs

	modified:   Hio.hs
	modified:   testground.hs
Merge branch 'recurhstr'

Change the truth representation from string to recur list
	modified:   initdb.hs
	modified:   KBio.hs
	modified:   testground.hs