Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Makefile.gz | 2007-12-17 09:57 | 224 | ||
README.gz | 2008-07-24 13:52 | 564 | ||
certify.lsp.gz | 2007-12-17 09:57 | 164 | ||
meta-plus-equal.lisp.gz | 2007-12-17 09:57 | 1.8K | ||
meta-plus-lessp.lisp.gz | 2007-12-17 09:57 | 1.9K | ||
meta-times-equal.lisp.gz | 2007-12-17 09:57 | 2.6K | ||
meta.lisp.gz | 2007-12-17 09:57 | 634 | ||
pseudo-termp-lemmas.lisp.gz | 2007-12-17 09:57 | 663 | ||
term-defuns.lisp.gz | 2007-12-17 09:57 | 1.3K | ||
term-lemmas.lisp.gz | 2007-12-17 09:57 | 1.0K | ||