Index of /harrison/Data/Logic/Classes/Old

	Name	Last modified	Size	Description
	Parent Directory		-
	Skolem.hs	2011-12-17 16:36	201
	Boolean.hs	2011-12-17 16:36	204
	Arity.hs	2011-12-17 16:36	348
	Negatable.hs	2011-12-21 16:38	422
	ClauseNormalForm.hs	2011-12-17 16:36	624
	Variable.hs	2011-12-17 16:36	912
	Logic.hs	2011-12-21 16:38	1.4K
	Pred.hs	2011-12-17 16:36	1.7K
	Term.hs	2011-12-17 16:36	2.4K
	Literal.hs	2011-12-17 16:36	2.9K
	Propositional.hs	2011-12-17 16:36	13K
	FirstOrder.hs	2011-12-17 16:36	15K