Index of /propositional-classes/Data/Logic/Propositional

	Name	Last modified	Size	Description
	Parent Directory		-
	Formula.hs	2011-09-26 16:20	3.1K
	Normal.hs	2011-09-26 16:20	3.9K
	Instances/	2011-09-26 17:34	-