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