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

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