Index of /module-management/testdata/logic/Data/Logic/Classes

	Name	Last modified	Size	Description
	Parent Directory		-
	Apply.hs	2013-06-18 19:03	3.6K
	Arity.hs	2013-06-18 19:03	434
	Atom.hs	2013-06-18 19:03	1.6K
	ClauseNormalForm.hs	2013-06-18 19:03	621
	Combine.hs	2013-06-18 19:03	3.7K
	Constants.hs	2013-06-18 19:03	823
	Equals.hs	2013-06-18 19:03	10K
	FirstOrder.hs	2013-06-18 19:03	14K
	Formula.hs	2013-06-18 19:03	351
	Literal.hs	2013-06-18 19:03	4.9K
	Negate.hs	2013-06-18 19:03	1.4K
	Pretty.hs	2013-06-18 19:03	2.3K
	Propositional.hs	2013-06-18 19:03	15K
	Skolem.hs	2013-06-18 19:03	656
	Term.hs	2013-06-18 19:03	3.1K
	Variable.hs	2013-06-18 19:03	1.1K