| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| certify.lisp | 1995-06-07 01:34 | 1.3K | ||
| embedding.lisp | 1995-06-07 01:34 | 81K | ||
| functions-and-axioms..> | 1995-08-04 17:10 | 11K | ||
| more-functions.lisp | 1995-06-07 01:34 | 4.4K | ||
| nqthm.lisp | 1995-06-07 01:34 | 6.1K | ||
| proveall.lisp | 1995-06-07 01:34 | 108K | ||
| rules1.lisp | 1995-06-07 01:34 | 13K | ||
| rules2.lisp | 1995-06-07 01:34 | 10K | ||