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

	Name	Last modified	Size	Description
	Parent Directory		-
	Equal.hs	2013-06-21 19:31	5.6K
	FOL.hs	2013-06-21 19:31	4.2K
	Formulas/	2013-06-21 19:31	-
	Prop.hs	2013-06-21 19:31	1.2K