![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Makefile.gz | 2009-07-20 18:12 | 381 | |
![]() | README.gz | 2008-10-13 14:03 | 496 | |
![]() | addition.acl2.gz | 2008-10-13 14:03 | 95 | |
![]() | addition.lisp.gz | 2008-10-13 14:03 | 683 | |
![]() | certification.acl2.gz | 2008-10-13 14:03 | 338 | |
![]() | congruences-1.acl2.gz | 2008-10-13 14:03 | 106 | |
![]() | congruences-1.lisp.gz | 2008-10-13 14:03 | 432 | |
![]() | congruences-2.acl2.gz | 2008-10-13 14:03 | 106 | |
![]() | congruences-2.lisp.gz | 2008-10-13 14:03 | 1.2K | |
![]() | examples.acl2.gz | 2008-10-13 14:03 | 97 | |
![]() | examples.lisp.gz | 2008-10-13 14:03 | 612 | |
![]() | lexicographical-ordering.acl2.gz | 2008-10-13 14:03 | 128 | |
![]() | lexicographical-ordering.lisp.gz | 2008-10-13 14:03 | 1.2K | |
![]() | monomial.acl2.gz | 2008-10-13 14:03 | 97 | |
![]() | monomial.lisp.gz | 2008-10-13 14:03 | 1.0K | |
![]() | multiplication.acl2.gz | 2008-10-13 14:03 | 104 | |
![]() | multiplication.lisp.gz | 2008-10-13 14:03 | 1.5K | |
![]() | negation.acl2.gz | 2008-10-13 14:03 | 94 | |
![]() | negation.lisp.gz | 2008-10-13 14:03 | 427 | |
![]() | normal-form.acl2.gz | 2008-10-13 14:03 | 102 | |
![]() | normal-form.lisp.gz | 2008-10-13 14:03 | 1.2K | |
![]() | polynomial.acl2.gz | 2008-10-13 14:03 | 101 | |
![]() | polynomial.lisp.gz | 2008-10-13 14:03 | 870 | |
![]() | term.acl2.gz | 2008-10-13 14:03 | 89 | |
![]() | term.lisp.gz | 2008-10-13 14:03 | 955 | |