Index of /~cs251/s04/spring04-download/hofl

	Name	Last modified	Size	Description
	Parent Directory		-
	Env.ml	2004-03-17 06:47	1.2K
	Hofl.ml	2004-04-01 08:09	16K
	HoflEnvInterp.ml	2004-03-29 23:40	8.3K
	HoflSubstInterp.ml	2004-03-17 09:53	5.5K
	church.def	2004-03-17 06:47	465
	even-odd.def	2004-03-17 06:47	124
	even.pgm	2004-03-17 06:47	161
	expt.pgm	2004-03-17 20:00	155
	fact.def	2004-03-17 06:47	69
	fact.pgm	2004-03-17 06:47	86
	load-hofl.ml	2004-03-08 08:17	331
	simple.def	2004-03-17 20:00	93