Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
npol-ordering-2.acl2.gz | 2010-09-20 19:28 | 283 | ||
Makefile.gz | 2010-09-20 19:28 | 385 | ||
npol-ordering-1.acl2.gz | 2010-09-20 19:28 | 284 | ||
term.lisp.gz | 2010-09-20 19:28 | 473 | ||
README.gz | 2010-09-20 19:28 | 1.0K | ||
monomial.acl2.gz | 2010-09-20 19:28 | 269 | ||
term.acl2.gz | 2010-09-20 19:28 | 265 | ||
upol.lisp.gz | 2010-09-20 19:28 | 277 | ||
ordinal-ordering.lisp.gz | 2010-09-20 19:28 | 286 | ||
npol-ordering-2.lisp.gz | 2010-09-20 19:28 | 1.1K | ||
npol-ordering-1.lisp.gz | 2010-09-20 19:28 | 698 | ||
monomial.lisp.gz | 2010-09-20 19:28 | 792 | ||
upol.acl2.gz | 2010-09-20 19:28 | 266 | ||
ordinal-ordering.acl2.gz | 2010-09-20 19:28 | 284 | ||