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

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] debruijn.elf 27-Feb-2001 11:07 789 [   ] eval.elf 06-Feb-2001 08:58 938 [   ] examples.quy 27-Feb-2001 11:20 1.1K [   ] feval.elf 27-Feb-2001 11:03 1.3K [   ] map-eval.elf 27-Feb-2001 11:10 4.3K [   ] mini-ml.elf 06-Feb-2001 08:50 422 [   ] sources.cfg 27-Feb-2001 11:06 200 [   ] trans.elf 27-Feb-2001 11:02 1.9K [   ] val-lemmas.elf 27-Feb-2001 11:07 857 [   ] value.elf 06-Feb-2001 08:51 301