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

 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-orderi..> 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-exam..> 13-Oct-2008 14:04  3.6K  
 ordinal-definitions...> 13-Oct-2008 14:04  8.8K  
 ordinal-exponentiati..> 13-Oct-2008 14:04   30K  
 ordinal-isomorphism...> 13-Oct-2008 14:04   18K  
 ordinal-multiplicati..> 13-Oct-2008 14:04   15K  
 ordinal-total-order...> 13-Oct-2008 14:04  5.7K  
 ordinals-without-ari..> 13-Oct-2008 14:04   80   
 ordinals.lisp           13-Oct-2008 14:04  111   
 proof-of-well-founde..> 13-Oct-2008 14:04  131   
 proof-of-well-founde..> 13-Oct-2008 14:04  4.4K  
 top-with-meta.lisp      13-Oct-2008 14:04  154