Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
meta-times-equal.lisp.gz | 2010-09-20 19:29 | 2.6K | ||
meta-plus-lessp.lisp.gz | 2010-09-20 19:29 | 1.9K | ||
meta-plus-equal.lisp.gz | 2010-09-20 19:29 | 1.8K | ||
term-defuns.lisp.gz | 2010-11-30 13:13 | 1.4K | ||
term-lemmas.lisp.gz | 2010-09-20 19:29 | 1.0K | ||
pseudo-termp-lemmas.lisp.gz | 2010-09-20 19:29 | 663 | ||
meta.lisp.gz | 2010-09-20 19:29 | 634 | ||
README.gz | 2010-09-20 19:29 | 564 | ||
Makefile.gz | 2010-09-20 19:29 | 67 | ||