Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
term.lisp.gz | 2002-10-13 19:47 | 955 | ||
term.acl2.gz | 2001-04-25 11:36 | 89 | ||
polynomial.lisp.gz | 2002-10-13 19:45 | 870 | ||
polynomial.acl2.gz | 2001-04-25 11:36 | 101 | ||
normal-form.lisp.gz | 2001-06-18 14:01 | 1.2K | ||
normal-form.acl2.gz | 2001-04-25 11:36 | 102 | ||
negation.lisp.gz | 2001-11-28 07:10 | 427 | ||
negation.acl2.gz | 2001-04-25 11:36 | 94 | ||
multiplication.lisp.gz | 2001-06-18 14:01 | 1.5K | ||
multiplication.acl2.gz | 2001-04-25 11:36 | 104 | ||
monomial.lisp.gz | 2001-06-18 14:00 | 1.0K | ||
monomial.acl2.gz | 2001-04-25 11:36 | 97 | ||
lexicographical-ordering.lisp.gz | 2004-01-19 16:42 | 1.2K | ||
lexicographical-ordering.acl2.gz | 2001-04-25 11:36 | 128 | ||
examples.lisp.gz | 2001-06-18 13:59 | 612 | ||
examples.acl2.gz | 2001-04-25 11:36 | 97 | ||
congruences-2.lisp.gz | 2001-11-28 13:31 | 1.2K | ||
congruences-2.acl2.gz | 2001-04-25 11:36 | 106 | ||
congruences-1.lisp.gz | 2002-05-07 11:11 | 432 | ||
congruences-1.acl2.gz | 2001-04-25 11:36 | 106 | ||
certification.acl2.gz | 2003-10-14 14:56 | 338 | ||
addition.lisp.gz | 2000-07-10 12:35 | 683 | ||
addition.acl2.gz | 2001-04-25 11:35 | 95 | ||
README.gz | 2000-10-25 12:43 | 496 | ||
Makefile.gz | 2006-05-18 15:01 | 401 | ||