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

 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-orderi..> 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-exam..> 17-Dec-2007 10:00  3.6K  
 ordinal-definitions...> 20-Jul-2008 16:05  8.8K  
 ordinal-exponentiati..> 17-Dec-2007 10:00   30K  
 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   
 proof-of-well-founde..> 17-Dec-2007 10:00  4.4K  
 top-with-meta.lisp      17-Dec-2007 10:00  154