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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 complete.elf            21-Feb-2001 15:13  2.2K  
 conv-exp.elf            20-Feb-2001 12:18  1.6K  
 eval.elf                18-Feb-2001 22:29  1.0K  
 evalv.elf               20-Feb-2001 11:23  1.1K  
 mini-ml.elf             18-Feb-2001 22:29  419   
 mini-mlv.elf            20-Feb-2001 11:23  615   
 sound.elf               20-Feb-2001 12:24  2.2K  
 sources.cfg             21-Feb-2001 15:14  158   
 value.elf               18-Feb-2001 22:29  283