| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| books/ | 10-Aug-2008 15:07 | - | ||
| Makefile | 25-Apr-2008 08:27 | 2.7K | ||
| Readme.lsp | 28-Apr-2008 11:52 | 1.5K | ||
| acl2-customization.lisp | 22-Apr-2008 14:52 | 387 | ||
| database.acl2 | 25-Apr-2008 08:21 | 147 | ||
| database.lisp | 22-Apr-2008 14:52 | 37K | ||
| elim-dest.acl2 | 25-Apr-2008 08:21 | 151 | ||
| elim-dest.lisp | 22-Apr-2008 14:52 | 49K | ||
| foundations.acl2 | 25-Apr-2008 08:21 | 158 | ||
| foundations.lisp | 25-Apr-2008 09:17 | 107K | ||
| induct.acl2 | 25-Apr-2008 08:21 | 149 | ||
| induct.lisp | 22-Apr-2008 14:52 | 97K | ||
| output-module.acl2 | 25-Apr-2008 08:21 | 156 | ||
| output-module.lisp | 22-Apr-2008 14:52 | 24K | ||
| paco.acl2 | 25-Apr-2008 08:21 | 146 | ||
| paco.lisp | 22-Apr-2008 14:52 | 1.4K | ||
| prove.acl2 | 25-Apr-2008 08:21 | 145 | ||
| prove.lisp | 22-Apr-2008 14:52 | 17K | ||
| rewrite.acl2 | 25-Apr-2008 08:21 | 149 | ||
| rewrite.lisp | 22-Apr-2008 14:52 | 68K | ||
| simplify.acl2 | 25-Apr-2008 08:21 | 149 | ||
| simplify.lisp | 22-Apr-2008 14:52 | 41K | ||
| type-set.acl2 | 25-Apr-2008 08:21 | 153 | ||
| type-set.lisp | 22-Apr-2008 14:52 | 118K | ||
| utilities.acl2 | 25-Apr-2008 08:21 | 3.7K | ||
| utilities.lisp | 22-Apr-2008 14:52 | 28K | ||