Index of /logic-classes/Data/Logic/Classes

	Name	Last modified	Size	Description
	Parent Directory		-
	Arity.hs	2011-12-28 06:34	434
	ClauseNormalForm.hs	2011-12-28 06:34	621
	Negate.hs	2012-01-09 18:50	1.4K
	Variable.hs	2012-01-13 21:36	1.1K
	Atom.hs	2012-01-18 05:00	1.6K
	Combine.hs	2012-01-21 13:27	3.7K
	Constants.hs	2012-01-21 13:27	823
	Skolem.hs	2012-01-21 13:27	656
	Term.hs	2012-01-21 13:27	3.1K
	Pretty.hs	2012-01-22 18:00	2.3K
	Propositional.hs	2012-04-16 03:24	15K
	Equals.hs	2014-03-26 18:41	10K
	Formula.hs	2014-03-26 18:41	393
	Apply.hs	2014-03-29 14:59	5.4K
	FirstOrder.hs	2014-03-29 14:59	13K
	Literal.hs	2014-03-29 14:59	3.8K