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

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