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

	Name	Last modified	Size	Description
	Parent Directory		-
	TPTP.hs	2011-12-29 23:42	695
	Main.hs	2012-01-21 13:27	1.2K
	Logic.hs	2012-01-22 17:30	29K
	Harrison/	2014-03-29 14:59	-
	HUnit.hs	2012-01-21 13:27	2.1K
	Data.hs	2014-03-26 18:41	63K
	Common.hs	2013-06-17 00:04	12K
	Chiou0.hs	2012-01-21 13:27	6.9K