Index of /module-management/testdata/split-expected/Data/Logic/Harrison

	Name	Last modified	Size	Description
	Parent Directory		-
	Tableaux.hs	2013-06-29 18:46	25K
	Resolution.hs	2013-06-29 18:46	38K
	Meson.hs	2013-06-29 18:46	20K
	Herbrand.hs	2013-06-29 18:46	13K
	LICENSE.txt	2013-06-27 23:19	1.6K
	Unif.hs	2013-06-21 19:31	4.5K
	Skolem.hs	2013-06-21 19:31	15K
	PropExamples.hs	2013-06-21 19:31	21K
	Prop.hs	2013-06-21 19:31	19K
	Prolog.hs	2013-06-21 19:31	7.2K
	Normal.hs	2013-06-21 19:31	6.2K
	Lib.hs	2013-06-21 19:31	28K
	Formulas/	2013-06-21 19:31	-
	FOL.hs	2013-06-21 19:31	13K
	Equal.hs	2013-06-21 19:31	14K
	DefCNF.hs	2013-06-21 19:31	6.8K
	DP.hs	2013-06-21 19:31	13K