| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| meta-times-equal.lisp | 1995-06-07 01:33 | 15K | ||
| meta-plus-lessp.lisp | 1995-06-07 01:33 | 10K | ||
| meta-generic-plus.lisp | 1995-06-07 01:33 | 9.8K | ||
| meta-plus-equal.lisp | 1995-06-07 01:33 | 7.7K | ||
| meta-plus.lisp | 1995-06-07 01:33 | 5.6K | ||
| term-defuns.lisp | 1995-06-07 01:33 | 3.3K | ||
| pseudo-termp-lemmas...> | 1995-06-07 01:33 | 3.2K | ||
| term-lemmas.lisp | 1995-06-07 01:33 | 2.2K | ||
| meta.lisp | 1995-06-07 01:33 | 338 | ||
| certify.lisp | 1995-06-07 01:33 | 238 | ||