Index of /afs/cs/user/fp/www/courses/comp-ded/elf/env

 Name                    Last modified       Size  Description

 Parent Directory        02-May-2001 15:47      -  
 debruijn.elf            27-Feb-2001 11:07     1k  
 eval.elf                06-Feb-2001 08:58     1k  
 examples.quy            27-Feb-2001 11:20     1k  
 feval.elf               27-Feb-2001 11:03     1k  
 map-eval.elf            27-Feb-2001 11:10     4k  
 mini-ml.elf             06-Feb-2001 08:50     1k  
 sources.cfg             27-Feb-2001 11:06     1k  
 trans.elf               27-Feb-2001 11:02     2k  
 val-lemmas.elf          27-Feb-2001 11:07     1k  
 value.elf               06-Feb-2001 08:51     1k