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

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2001-02-20 11:17	478
	complete.elf	2001-02-21 15:13	2.2K
	conv-exp.elf	2001-02-20 12:18	1.6K
	eval.elf	2001-02-18 22:29	1.0K
	evalv.elf	2001-02-20 11:23	1.1K
	mini-ml.elf	2001-02-18 22:29	419
	mini-mlv.elf	2001-02-20 11:23	615
	sound.elf	2001-02-20 12:24	2.2K
	sources.cfg	2001-02-21 15:14	158
	value.elf	2001-02-18 22:29	283