Index of /users/moore/acl2/v3-5/distrib/acl2-sources/books/paco

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 books/                  01-May-2009 11:09    -   
 Makefile                13-Oct-2008 14:02  1.1K  
 Readme.lsp              13-Oct-2008 14:02  1.5K  
 acl2-customization.lsp  13-Oct-2008 14:02  387   
 database.acl2           13-Oct-2008 14:02  146   
 database.lisp           13-Oct-2008 14:02   37K  
 elim-dest.acl2          13-Oct-2008 14:02  150   
 elim-dest.lisp          13-Oct-2008 14:02   49K  
 foundations.acl2        13-Oct-2008 14:02  157   
 foundations.lisp        13-Oct-2008 14:02  107K  
 induct.acl2             13-Oct-2008 14:02  148   
 induct.lisp             13-Oct-2008 14:02   97K  
 output-module.acl2      13-Oct-2008 14:02  155   
 output-module.lisp      13-Oct-2008 14:02   24K  
 paco.acl2               13-Oct-2008 14:02  145   
 paco.lisp               13-Oct-2008 14:02  1.4K  
 prove.acl2              13-Oct-2008 14:02  144   
 prove.lisp              13-Oct-2008 14:02   17K  
 rewrite.acl2            13-Oct-2008 14:02  148   
 rewrite.lisp            30-Mar-2009 18:00   68K  
 simplify.acl2           13-Oct-2008 14:02  148   
 simplify.lisp           13-Oct-2008 14:02   41K  
 type-set.acl2           13-Oct-2008 14:02  152   
 type-set.lisp           13-Oct-2008 14:02  118K  
 utilities.acl2          13-Oct-2008 14:02  3.7K  
 utilities.lisp          13-Oct-2008 14:02   28K