Index of /~fp/courses/comp-ded/elf/cpm

	Name	Last modified	Size	Description
	Parent Directory		-
	tp.elf	2001-02-06 08:57	213
	sources.cfg	2001-03-01 10:39	224
	value.elf	2001-02-06 08:51	301
	mini-ml.elf	2001-02-06 08:50	422
	cpm.elf	2001-02-14 10:16	575
	README	2001-03-01 10:52	720
	eval.elf	2001-02-06 08:58	938
	tpinf.elf	2001-02-06 08:59	1.0K
	proof-equiv.elf	2001-03-01 10:39	1.4K
	ceval.elf	2001-02-15 13:30	1.9K
	cpm-sound.elf	2001-03-01 10:38	2.0K
	examples.quy	2001-03-01 10:40	2.6K
	cpm-complete.elf	2001-03-01 10:35	2.6K
	progress.elf	2001-02-15 22:24	4.8K