Index of /users/boyer/ftp/pc-nqthm/pc-nqthm-1992/misc

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]README1994-01-10 20:50 2.1K 
[   ]bm-trace.doc1994-01-10 20:50 1.8K 
[   ]bm-trace.lisp1994-01-10 20:50 13K 
[DIR]c/1994-01-10 20:50 -  
[   ]checkpoints.doc1994-01-10 20:50 1.0K 
[   ]checkpoints.lisp1994-01-10 20:50 12K 
[   ]constructive-quantifiers.doc1994-01-10 20:50 706  
[   ]constructive-quantifiers.lisp1994-01-10 20:50 24K 
[   ]constructive-quantifiers.ps1994-01-10 20:50 92K 
[TXT]constructive-quantifiers.txt1994-01-10 20:50 58K 
[DIR]demos/1994-01-10 20:50 -  
[DIR]emacs/1994-01-10 20:50 -  
[   ]identity-speedup.doc1994-01-10 20:50 69  
[   ]identity-speedup.lisp1994-01-10 20:50 15K 
[   ]mutual.doc1994-01-10 20:50 5.4K 
[   ]mutual.lisp1994-01-10 20:50 14K 
[   ]nqthm-setq.doc1994-01-10 20:50 227  
[   ]nqthm-setq.lisp1994-01-10 20:50 2.2K 
[   ]ppte.doc1994-01-10 20:50 1.6K 
[   ]ppte.lisp1994-01-10 20:50 3.8K 
[   ]process-events.doc1994-01-10 20:50 4.3K 
[   ]process-events.lisp1994-01-10 20:50 21K 
[   ]purify.doc1994-01-10 20:50 1.6K 
[   ]purify.lisp1994-01-10 20:50 6.0K 
[   ]queries.doc1994-01-10 20:50 2.0K 
[   ]queries.lisp1994-01-10 20:50 9.6K 
[   ]translate-reader.doc1994-01-10 20:50 2.6K 
[   ]translate-reader.lisp1994-01-10 20:50 2.3K 
[   ]untranslate-with-abbs.doc1994-01-10 20:50 1.7K 
[   ]untranslate-with-abbs.lisp1994-01-10 20:50 8.9K 

Apache/2.4.18 (Ubuntu) Server at www.cs.utexas.edu Port 80