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

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