Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
term.acl2.gz | 2008-10-13 14:03 | 265 | ||
upol.acl2.gz | 2008-10-13 14:03 | 266 | ||
monomial.acl2.gz | 2008-10-13 14:03 | 269 | ||
upol.lisp.gz | 2008-10-13 14:03 | 277 | ||
npol-ordering-2.acl2.gz | 2008-10-13 14:03 | 283 | ||
npol-ordering-1.acl2.gz | 2008-10-13 14:03 | 284 | ||
ordinal-ordering.acl2.gz | 2008-10-13 14:03 | 284 | ||
ordinal-ordering.lisp.gz | 2008-10-13 14:03 | 286 | ||
Makefile.gz | 2009-07-20 18:13 | 385 | ||
term.lisp.gz | 2008-10-13 14:03 | 473 | ||
npol-ordering-1.lisp.gz | 2008-10-13 14:03 | 698 | ||
monomial.lisp.gz | 2008-10-13 14:03 | 792 | ||
README.gz | 2008-10-13 14:03 | 1.0K | ||
npol-ordering-2.lisp.gz | 2008-10-13 14:03 | 1.1K | ||