Index of /logic-classes/Data/Logic/Types/Harrison

	Name	Last modified	Size	Description
	Parent Directory		-
	Equal.hs	2012-01-22 17:30	5.6K
	FOL.hs	2012-01-22 17:30	4.2K
	Formulas/	2012-01-22 17:30	-
	Prop.hs	2012-01-22 17:30	1.2K