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

	Name	Last modified	Size	Description
	Parent Directory		-
	Arity.hs	2013-06-18 19:03	434
	Constants.hs	2013-06-18 19:03	823
	Equals.hs	2013-06-18 19:03	10K
	Formula.hs	2013-06-18 19:03	351
	Negate.hs	2013-06-18 19:03	1.4K
	Skolem.hs	2013-06-18 19:03	656
	Literal.hs	2013-07-14 15:45	3.5K
	Apply.hs	2013-07-23 18:16	3.6K
	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
	FirstOrder.hs	2013-07-23 18:16	15K
	Pretty.hs	2013-07-23 18:16	2.3K
	Propositional.hs	2013-07-23 18:16	15K
	Term.hs	2013-07-23 18:16	3.1K
	Variable.hs	2013-07-23 18:16	1.1K