Index of /harrison/Data/Logic/Harrison

	Name	Last modified	Size	Description
	Parent Directory		-
	BDD.hs	2011-12-17 16:36	8.4K
	Combining.hs	2011-12-17 16:36	14K
	Completion.hs	2011-12-17 16:36	23K
	Complex.hs	2011-12-17 16:36	37K
	Cong.hs	2011-12-21 16:38	3.6K
	Cooper.hs	2011-12-17 16:36	20K
	DP.hs	2011-12-17 16:36	7.6K
	Decidable.hs	2011-12-17 16:36	13K
	DefCNF.hs	2011-12-17 16:36	4.3K
	EqElim.hs	2011-12-17 16:36	9.4K
	Equal.hs	2012-01-21 13:14	13K
	Example.hs	2011-12-17 16:36	8.2K
	FOL.hs	2012-01-21 13:14	11K
	FOLDerived.hs	2011-12-17 16:36	12K
	Formulas/	2012-01-21 13:14	-
	Geom.hs	2011-12-17 16:36	11K
	Grobner.hs	2011-12-17 16:36	15K
	Herbrand.hs	2011-12-21 16:38	8.3K
	Init.hs	2011-12-17 16:36	844
	Initialization.hs	2011-12-17 16:36	920
	Interpolation.hs	2011-12-17 16:36	8.5K
	Intro.hs	2011-12-17 16:36	7.3K
	Lcf.hs	2011-12-17 16:36	6.6K
	Lcffol.hs	2011-12-17 16:36	21K
	Lcfprop.hs	2011-12-17 16:36	21K
	Lib.hs	2011-12-21 16:38	27K
	Limitations.hs	2011-12-17 16:36	33K
	Make.hs	2011-12-17 16:36	6.5K
	Meson.hs	2012-01-21 13:14	20K
	Normal.hs	2011-12-21 16:38	5.1K
	Order.hs	2011-12-17 16:36	2.0K
	Paramodulation.hs	2011-12-17 16:36	3.3K
	Prolog.hs	2011-12-21 16:38	7.2K
	Prop.hs	2012-01-21 13:14	18K
	Propexamples.hs	2011-12-17 16:36	7.8K
	Qelim.hs	2011-12-17 16:36	6.5K
	Quotexpander.hs	2011-12-17 16:36	306
	Real.hs	2011-12-17 16:36	11K
	Resolution.hs	2012-01-21 13:14	37K
	Rewrite.hs	2011-12-17 16:36	2.1K
	Skolem.hs	2012-01-21 13:14	12K
	Skolems.hs	2011-12-17 16:36	928
	Stal.hs	2011-12-17 16:36	10K
	Tableaux.hs	2012-01-21 13:14	22K
	Tactics.hs	2011-12-17 16:36	22K
	Unif.hs	2012-01-21 13:14	3.3K