| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| deflist.acl2 | 1997-05-19 06:01 | 86 | ||
| defalist.acl2 | 1997-05-20 02:04 | 87 | ||
| utilities.acl2 | 1997-05-19 06:01 | 114 | ||
| structures.acl2 | 1997-05-19 06:01 | 133 | ||
| set-theory.lisp | 1997-05-19 06:21 | 1.0K | ||
| list-theory.lisp | 1997-05-19 06:19 | 1.0K | ||
| alist-theory.lisp | 1997-05-19 06:18 | 1.0K | ||
| define-u-package.lisp | 1997-05-19 06:19 | 1.0K | ||
| number-list-theory.lisp | 1997-05-19 06:20 | 1.1K | ||
| define-structures-pa..> | 1997-05-19 06:01 | 1.2K | ||
| set-defuns.lisp | 1997-05-19 06:20 | 2.7K | ||
| number-list-defthms...> | 1997-05-19 06:20 | 2.9K | ||
| number-list-defuns.lisp | 1997-05-19 06:20 | 4.9K | ||
| makefile | 1997-05-20 02:10 | 7.2K | ||
| set-defthms.lisp | 1997-05-19 06:20 | 7.8K | ||
| list-defuns.lisp | 1997-05-19 06:19 | 9.6K | ||
| alist-defuns.lisp | 1997-05-19 06:18 | 18K | ||
| alist-defthms.lisp | 1997-05-19 06:17 | 26K | ||
| utilities.lisp | 1997-05-19 06:17 | 36K | ||
| defalist.lisp | 1997-05-19 09:39 | 39K | ||
| list-defthms.lisp | 1997-05-19 06:19 | 41K | ||
| deflist.lisp | 1997-05-19 09:37 | 47K | ||
| structures.lisp | 1997-05-19 06:21 | 131K | ||