Index of /asn1/Tests

	Name	Last modified	Size	Description
	Parent Directory		-
	Integer.hs	12-Apr-2009 17:25	904
	Main.hs	26-Oct-2008 13:10	152
	Properties.hs	25-Feb-2012 10:35	713
	QuickCheck/	26-Oct-2008 13:10	-
	SmallCheck/	12-Apr-2009 17:25	-