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