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