Index of /module-management/testdata/logic/Data/Logic/Types/Harrison

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