Index of /harrison/Data/Logic/Tests

	Name	Last modified	Size	Description
	Parent Directory		-
	Equal.hs	2012-01-21 13:14	12K
	FOL.hs	2012-01-21 13:14	11K
	HUnit.hs	2012-01-21 13:14	1.8K
	Meson.hs	2012-01-21 13:14	1.0K
	Prop.hs	2012-01-21 13:14	19K
	Resolution.hs	2012-01-21 13:14	4.9K
	Skolem.hs	2012-01-21 13:14	4.3K
	Tests.hs	2012-01-21 13:14	1.3K
	Unif.hs	2012-01-21 13:14	2.4K