Index of /ftp/ftp_archive/pc-nqthm/pc-nqthm-1987/demos

 NameLast modifiedSizeDescription

 Parent Directory   -  
 make.demos.tar.z 1992-02-05 11:20 89  
 run-noninteractive.lisp1992-02-05 10:38 139  
 script 1987-06-29 11:50 321  
 adder.ev 1992-02-05 10:32 6.7K 
 bv-to-nat.ev 1992-02-05 09:35 10K 
 run.lisp 1992-02-05 11:13 13K 
 subset-append-append.ev1992-02-05 09:35 16K 
 factorial-sum.ev 1992-02-05 09:35 18K 
 demos.tar.Z 1987-06-29 11:47 30K