Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
term.lisp.gz | 2010-09-20 19:28 | 955 | ||
term.acl2.gz | 2010-09-20 19:28 | 89 | ||
polynomial.lisp.gz | 2010-09-20 19:28 | 870 | ||
polynomial.acl2.gz | 2010-09-20 19:28 | 101 | ||
normal-form.lisp.gz | 2010-09-20 19:28 | 1.2K | ||
normal-form.acl2.gz | 2010-09-20 19:28 | 102 | ||
negation.lisp.gz | 2010-09-20 19:28 | 427 | ||
negation.acl2.gz | 2010-09-20 19:28 | 94 | ||
multiplication.lisp.gz | 2010-09-20 19:28 | 1.5K | ||
multiplication.acl2.gz | 2010-09-20 19:28 | 104 | ||
monomial.lisp.gz | 2010-09-20 19:28 | 1.0K | ||
monomial.acl2.gz | 2010-09-20 19:28 | 97 | ||
lexicographical-ordering.lisp.gz | 2010-09-20 19:28 | 1.2K | ||
lexicographical-ordering.acl2.gz | 2010-09-20 19:28 | 128 | ||
examples.lisp.gz | 2010-09-20 19:28 | 612 | ||
examples.acl2.gz | 2010-09-20 19:28 | 97 | ||
congruences-2.lisp.gz | 2010-09-20 19:28 | 1.2K | ||
congruences-2.acl2.gz | 2010-09-20 19:28 | 106 | ||
congruences-1.lisp.gz | 2010-09-20 19:28 | 432 | ||
congruences-1.acl2.gz | 2010-09-20 19:28 | 106 | ||
certification.acl2.gz | 2010-09-20 19:28 | 338 | ||
addition.lisp.gz | 2010-09-20 19:28 | 683 | ||
addition.acl2.gz | 2010-09-20 19:28 | 95 | ||
README.gz | 2010-09-20 19:28 | 496 | ||
Makefile.gz | 2010-09-20 19:28 | 381 | ||