Index of /users/moore/acl2/v3-4/distrib/acl2-sources/books/ordinals

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] Makefile 17-Dec-2007 10:00 1.8K [   ] certify.lsp 17-Dec-2007 10:00 667 [TXT] copyright 17-Dec-2007 10:00 1.0K [TXT] e0-ordinal.lisp 17-Dec-2007 10:00 11K [TXT] lexicographic-orderi..> 21-Jul-2008 15:09 5.8K [TXT] limits.lisp 17-Dec-2007 10:00 1.7K [   ] ordinal-addition.lisp 17-Dec-2007 10:00 12K [TXT] ordinal-basic-thms.lisp 17-Dec-2007 10:00 10K [TXT] ordinal-counter-exam..> 17-Dec-2007 10:00 3.6K [TXT] ordinal-definitions...> 20-Jul-2008 16:05 8.8K [   ] ordinal-exponentiati..> 17-Dec-2007 10:00 30K [TXT] ordinal-isomorphism...> 17-Dec-2007 10:00 18K [   ] ordinal-multiplicati..> 17-Dec-2007 10:00 15K [   ] ordinal-total-order...> 17-Dec-2007 10:00 5.7K [   ] ordinals-without-ari..> 17-Dec-2007 10:00 80 [   ] ordinals.lisp 17-Dec-2007 10:00 111 [   ] proof-of-well-founde..> 17-Dec-2007 10:00 131 [TXT] proof-of-well-founde..> 17-Dec-2007 10:00 4.4K [TXT] top-with-meta.lisp 17-Dec-2007 10:00 154