Index of /attic/PropLogic/PropLogic

	Name	Last modified	Size	Description
	Parent Directory		-
	Core.hs	2010-02-05 20:55	14K
	Default.hs	2010-02-05 20:55	66K
	Fast.hs	2010-02-05 20:55	54K
	Test.hs	2010-02-05 20:55	35K