Index of /ftp/ftp_archive/acl2/v1-9/acl2-sources

 NameLast modifiedSizeDescription
 Parent Directory   -  
 type-set-b.lisp 1997-05-18 10:29 346K 
 type-set-a.lisp 1997-05-18 10:29 22K 
 tutorial.lisp 1997-05-18 10:29 126K 
 translate.lisp 1997-05-18 10:29 139K 
 sum-list-example.lisp 1995-10-27 11:58 3.2K 
 simplify.lisp 1997-05-18 10:29 221K 
 saved/ 1997-06-12 11:50 -  
 rewrite.lisp 1997-05-18 10:29 461K 
 reports/ 2015-05-20 19:18 -  
 prove.lisp 1997-05-18 10:28 204K 
 proof-checker-pkg.lisp 1997-05-18 10:28 1.0K 
 proof-checker-b.lisp 1997-05-18 10:28 286K 
 proof-checker-a.lisp 1997-05-18 10:28 57K 
 p.lisp 1997-05-18 10:28 1.7K 
 other-processes.lisp 1997-05-18 10:28 102K 
 other-events.lisp 1997-05-18 10:28 379K 
 mcl-acl2-startup.lisp 1997-05-18 10:28 3.6K 
 makefile 1997-05-20 07:14 18K 
 ld.lisp 1997-05-20 05:53 333K 
 interface/ 2015-05-20 19:18 -  
 interface-raw.lisp 1997-05-18 10:26 121K 
 init.lsp 1997-05-18 10:26 1.9K 
 induct.lisp 1997-05-18 10:26 131K 
 history-management.lisp1997-06-12 03:40 567K 
 gcl-patch.lisp 1995-10-27 12:06 1.3K 
 enable-eval.lisp 1995-10-27 11:58 3.2K 
 emacs/ 2015-05-20 19:18 -  
 doc/ 2015-05-20 19:18 -  
 defuns.lisp 1997-05-18 10:26 238K 
 defthm.lisp 1997-05-18 10:26 450K 
 defpkgs.lisp 1997-05-18 10:26 3.8K 
 books/ 2015-05-20 19:18 -  
 bdd.lisp 1997-05-18 10:25 170K 
 basis.lisp 1997-05-18 10:24 356K 
 axioms.lisp 1997-05-18 10:24 797K 
 all-files.txt 1997-05-21 09:36 3.7K 
 akcl-acl2-trace.lisp 1997-05-18 10:24 7.0K 
 acl2.lisp 1997-05-18 10:24 33K 
 acl2-init.lisp 1997-05-19 03:27 23K 
 acl2-fns.lisp 1997-05-18 10:22 13K 
 acl2-check.lisp 1997-05-18 10:21 7.3K 
 TAGS 1997-06-12 03:46 162K 
 LICENSE 1997-05-18 09:52 18K