| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| rules2.lisp | 1997-05-19 06:26 | 11K | ||
| rules1.lisp | 1997-05-19 06:26 | 13K | ||
| nqthm.lisp | 1997-05-19 06:26 | 6.8K | ||
| more-functions.lisp | 1997-05-19 06:26 | 5.0K | ||
| functions-and-axioms..> | 1997-05-19 06:26 | 12K | ||
| embedding.lisp | 1997-05-19 06:26 | 82K | ||
| proveall.lisp | 1997-05-19 04:53 | 109K | ||
| certify.lisp | 1996-07-22 03:40 | 1.3K | ||