Index of /formettes/reform/Text/Reform

	Name	Last modified	Size	Description
	Parent Directory		-
	Result.hs	2012-05-15 23:43	3.2K
	Proof.hs	2012-05-15 23:43	5.1K
	Generalized.hs	2012-05-15 23:43	13K
	Core.hs	2012-05-15 23:43	13K
	Backend.hs	2012-05-15 23:43	2.4K