Index of /propositional-classes

	Name	Last modified	Size	Description
	Parent Directory		-
	propositional-classes.cabal	2011-09-26 16:20	1.2K
	debian/	2011-09-26 17:34	-
	_darcs/	2011-09-26 17:34	-
	Setup.hs	2011-09-26 16:20	168
	Data/	2011-09-26 16:20	-