Index of /logic-classes/Data/Logic/Harrison

	Name	Last modified	Size	Description
	Parent Directory		-
	Resolution.hs	2012-12-18 17:49	38K
	Lib.hs	2012-12-18 17:49	28K
	Tableaux.hs	2014-03-26 18:41	25K
	PropExamples.hs	2012-12-18 17:56	21K
	Meson.hs	2012-01-22 17:30	20K
	Prop.hs	2012-01-22 17:30	19K
	Skolem.hs	2012-01-22 18:49	15K
	Equal.hs	2012-01-22 17:30	14K
	Herbrand.hs	2014-03-26 18:41	13K
	DP.hs	2012-01-22 17:30	13K
	FOL.hs	2012-01-22 17:30	13K
	Prolog.hs	2012-01-18 05:00	7.2K
	DefCNF.hs	2014-03-26 18:41	6.8K
	Normal.hs	2013-07-24 19:40	6.0K
	Unif.hs	2012-12-18 17:49	4.5K
	Tests.hs	2012-01-21 13:27	3.2K
	Tests.hs-darcs-backup1	2010-11-11 17:31	3.2K
	Tests.hs-darcs-backup0	2010-11-02 19:51	3.2K
	LICENSE.txt	2010-08-29 23:15	1.6K
	Formulas/	2012-01-09 18:50	-