Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
upol.lisp.gz | 2002-01-09 09:54 | 277 | ||
upol.acl2.gz | 2004-01-19 17:21 | 266 | ||
term.lisp.gz | 2004-01-19 17:21 | 473 | ||
term.acl2.gz | 2004-01-19 17:20 | 265 | ||
ordinal-ordering.lisp.gz | 2003-10-20 13:37 | 286 | ||
ordinal-ordering.acl2.gz | 2004-01-19 17:19 | 284 | ||
npol-ordering-2.lisp.gz | 2004-01-29 08:50 | 1.1K | ||
npol-ordering-2.acl2.gz | 2004-01-19 17:02 | 283 | ||
npol-ordering-1.lisp.gz | 2004-01-29 08:47 | 698 | ||
npol-ordering-1.acl2.gz | 2004-01-19 17:02 | 284 | ||
monomial.lisp.gz | 2004-01-19 17:01 | 792 | ||
monomial.acl2.gz | 2004-01-19 17:01 | 269 | ||
README.gz | 2002-01-10 09:23 | 1.0K | ||
Makefile.gz | 2004-09-20 20:28 | 400 | ||