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

 NameLast modifiedSizeDescription

 Parent Directory   -  
 demos/ 2015-05-20 19:18 -  
 make.pc.tar.z 1991-02-04 07:16 77  
 proof-checker.lisp 1991-02-04 07:26 941  
 proof-checker-short...>1991-02-04 07:24 947  
 pc.broadcast 1991-02-04 07:17 1.3K 
 examples-short.events 1991-02-04 07:16 1.9K 
 proof-checker-stuff...>1991-02-04 07:17 2.0K 
 release-notes.txt 1991-02-04 07:17 6.1K 
 basis-pc.lisp 1991-02-04 07:15 30K 
 top-nqthm.lisp 1991-02-04 07:17 33K 
 defn-sk.lisp 1991-02-04 07:15 37K 
 macro-commands-aux.lisp1991-02-04 07:16 46K 
 help.lisp 1991-02-04 07:16 91K 
 macro-commands.lisp 1991-02-04 07:16 105K 
 utilities.lisp 1991-02-04 07:18 105K 
 nqthm-patches.lisp 1991-02-04 07:16 140K 
 top.lisp 1991-02-04 07:18 144K 
 examples.events 1991-02-04 07:16 146K 
 pc.tar.Z 1987-06-29 11:49 318K 
 sun3_saved_pc-nqthm.Z 1987-06-29 11:43 2.0M 
 sparc_saved_pc-nqthm.Z 1993-06-29 11:21 3.0M