Index of /harrison/Data/Logic/Classes

	Name	Last modified	Size	Description
	Parent Directory		-
	Atom.hs	2011-12-21 16:38	1.5K
	Arity.hs	2011-12-21 16:38	434
	Equals.hs	2011-12-21 16:38	2.7K
	Old/	2011-12-21 16:38	-
	Term.hs	2011-12-21 16:38	792
	Variable.hs	2011-12-21 16:38	610
	Combine.hs	2012-01-21 13:14	3.3K
	Constants.hs	2012-01-21 13:14	399
	FirstOrder.hs	2012-01-21 13:14	3.9K
	Literal.hs	2012-01-21 13:14	1.2K
	Negate.hs	2012-01-21 13:14	549
	Propositional.hs	2012-01-21 13:14	2.8K