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

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