Index of /~fp/courses/comp-ded/elf/mini-ml

 Name                    Last modified       Size  Description

 Parent Directory        02-May-2001 15:47      -  
 closed.elf              15-Feb-2001 10:18     2k  
 eval.elf                06-Mar-2001 14:35     1k  
 eval1.elf               06-Feb-2001 08:55     1k  
 eval2.elf               06-Feb-2001 08:59     1k  
 examples.quy            06-Mar-2001 14:35     1k  
 examples1.quy           19-Feb-2001 07:27     1k  
 mini-ml.elf             06-Mar-2001 14:35     1k  
 sources.cfg             06-Mar-2001 14:35     1k  
 sources1.cfg            18-Feb-2001 18:48     1k  
 tp-preserve.elf         06-Feb-2001 09:05     1k  
 tp.elf                  06-Feb-2001 08:57     1k  
 tpinf.elf               06-Mar-2001 14:35     1k  
 val-sound.elf           06-Mar-2001 14:35     1k  
 value.elf               06-Feb-2001 08:51     1k