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

 Name                    Last modified      Size  Description
 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