Index of /module-management/testdata/split-expected/Data/Logic/Classes

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