Index of /~fp/courses/97-comp-ded/code/cut-elim

	Name	Last modified	Size	Description
	Parent Directory		-
	CONFIG	1994-11-29 10:55	179
	CONFIG.print	1994-11-29 10:55	217
	README	1994-12-02 13:02	1.3K
	cl-admit.elf	1994-11-30 09:29	6.5K
	cl-cut.elf	1994-11-26 14:15	1.1K
	cl-elim.elf	1994-12-06 14:14	1.7K
	cl-print.quy	1994-11-26 16:39	14K
	cl.elf	1994-11-26 14:13	1.1K
	examples.quy	1994-11-27 09:47	2.2K
	formulas.elf	1994-11-26 14:12	423
	hacks.sml	1994-11-08 14:00	218
	int-admit.elf	1994-11-26 16:02	4.5K
	int-cut.elf	1994-11-26 14:14	1.1K
	int-elim.elf	1994-11-26 15:48	1.5K
	int-print.quy	1994-11-26 16:03	8.9K
	int.elf	1994-11-26 14:13	1.0K
	load.sml	1994-11-29 11:11	435
	print.elf	1994-11-27 10:21	25K
	tokens.elf	1994-11-27 10:18	1.4K