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

	Name	Last modified	Size	Description
	Parent Directory		-
	Common.hs	2012-01-22 19:06	294
	Main.hs	2012-01-22 17:30	1.6K
	Unif.hs	2012-12-18 17:49	2.5K
	Skolem.hs	2012-01-21 13:27	4.9K
	Resolution.hs	2012-01-21 13:27	5.9K
	Meson.hs	2012-01-21 13:27	7.8K
	FOL.hs	2014-03-29 14:59	11K
	Equal.hs	2012-01-21 13:27	14K
	Prop.hs	2014-03-29 14:59	19K