![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Makefile | 17-Dec-2007 10:00 | 1.8K | |
| certify.lsp | 17-Dec-2007 10:00 | 667 | |
| copyright | 17-Dec-2007 10:00 | 1.0K | |
| e0-ordinal.lisp | 17-Dec-2007 10:00 | 11K | |
| lexicographic-ordering.lisp | 21-Jul-2008 15:09 | 5.8K | |
| limits.lisp | 17-Dec-2007 10:00 | 1.7K | |
| ordinal-addition.lisp | 17-Dec-2007 10:00 | 12K | |
| ordinal-basic-thms.lisp | 17-Dec-2007 10:00 | 10K | |
| ordinal-counter-examples.lisp | 17-Dec-2007 10:00 | 3.6K | |
| ordinal-definitions.lisp | 20-Jul-2008 16:05 | 8.8K | |
| ordinal-exponentiation.lisp | 17-Dec-2007 10:00 | 30K | |
| ordinal-isomorphism.lisp | 17-Dec-2007 10:00 | 18K | |
| ordinal-multiplication.lisp | 17-Dec-2007 10:00 | 15K | |
| ordinal-total-order.lisp | 17-Dec-2007 10:00 | 5.7K | |
| ordinals-without-arithmetic.lisp | 17-Dec-2007 10:00 | 80 | |
| ordinals.lisp | 17-Dec-2007 10:00 | 111 | |
| proof-of-well-foundedness.acl2 | 17-Dec-2007 10:00 | 131 | |
| proof-of-well-foundedness.lisp | 17-Dec-2007 10:00 | 4.4K | |
| top-with-meta.lisp | 17-Dec-2007 10:00 | 154 | |