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

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