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