Index of /PropLogic

	Name	Last modified	Size	Description
	Parent Directory		-
	Olist.hs	2011-10-12 16:02	7.3K
	PropLogic.hs	2011-10-12 16:02	12K
	Setup.lhs	2011-10-12 16:02	113
	Costack.hs	2011-10-12 16:06	2.5K
	DefaultPropLogic.hs	2011-10-12 16:06	66K
	FastPropLogic.hs	2011-10-12 16:06	54K
	Main.hs	2011-10-12 16:06	7.3K
	PropLogicCore.hs	2011-10-12 16:06	14K
	PropLogicTest.hs	2011-10-12 16:06	35K
	TextDisplay.hs	2011-10-12 16:06	15K
	PropLogic.cabal-darcs-backup0	2012-04-16 21:55	1.0K
	PropLogic.cabal-darcs-backup1	2012-04-16 21:56	1.0K
	PropLogic.cabal	2012-04-16 21:59	1.0K
	_darcs/	2015-01-06 18:50	-