Index of /harrison/Data/Logic/Types

	Name	Last modified	Size	Description
	Parent Directory		-
	Equal.hs	2012-01-21 13:14	3.4K
	FOL.hs	2012-01-21 13:14	3.4K
	Formulas/	2012-01-21 13:14	-
	Prop.hs	2012-01-21 13:14	908