| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| certify.lisp | 1995-10-27 11:58 | 238 | ||
| meta-generic-plus.lisp | 1995-10-27 11:58 | 9.8K | ||
| meta-plus.lisp | 1995-10-27 11:58 | 5.6K | ||
| pseudo-termp-lemmas...> | 1995-10-27 11:58 | 3.2K | ||
| meta.lisp | 1997-05-19 04:49 | 1.1K | ||
| meta-plus-equal.lisp | 1997-05-19 06:24 | 8.6K | ||
| meta-plus-lessp.lisp | 1997-05-19 06:25 | 11K | ||
| meta-times-equal.lisp | 1997-05-19 06:25 | 15K | ||
| term-defuns.lisp | 1997-05-19 06:25 | 4.1K | ||
| term-lemmas.lisp | 1997-05-19 06:25 | 3.0K | ||