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