![[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 | 13-Oct-2008 14:04 | 51 | |
| copyright | 13-Oct-2008 14:04 | 1.0K | |
| e0-ordinal.lisp | 13-Oct-2008 14:04 | 11K | |
| lexicographic-ordering.lisp | 13-Oct-2008 14:04 | 5.8K | |
| limits.lisp | 13-Oct-2008 14:04 | 1.7K | |
| ordinal-addition.lisp | 13-Oct-2008 14:04 | 12K | |
| ordinal-basic-thms.lisp | 13-Oct-2008 14:04 | 10K | |
| ordinal-counter-examples.lisp | 13-Oct-2008 14:04 | 3.6K | |
| ordinal-definitions.lisp | 13-Oct-2008 14:04 | 8.8K | |
| ordinal-exponentiation.lisp | 13-Oct-2008 14:04 | 30K | |
| ordinal-isomorphism.lisp | 13-Oct-2008 14:04 | 18K | |
| ordinal-multiplication.lisp | 13-Oct-2008 14:04 | 15K | |
| ordinal-total-order.lisp | 13-Oct-2008 14:04 | 5.7K | |
| ordinals-without-arithmetic.lisp | 13-Oct-2008 14:04 | 80 | |
| ordinals.lisp | 13-Oct-2008 14:04 | 111 | |
| proof-of-well-foundedness.acl2 | 13-Oct-2008 14:04 | 131 | |
| proof-of-well-foundedness.lisp | 13-Oct-2008 14:04 | 4.4K | |
| top-with-meta.lisp | 13-Oct-2008 14:04 | 154 | |