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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 Makefile                05-Mar-2005 17:21  1.8K  
 certify.lsp             01-Feb-2004 11:35  667   
 copyright               01-Feb-2004 11:38  1.0K  
 e0-ordinal.lisp         06-Sep-2004 17:15   11K  
 lexicographic-orderi..> 13-Mar-2005 10:07  5.4K  
 limits.lisp             26-Mar-2006 19:54  1.7K  
 ordinal-addition.lisp   26-Mar-2006 19:54   12K  
 ordinal-basic-thms.lisp 19-Dec-2005 20:32   10K  
 ordinal-counter-exam..> 19-Jan-2004 21:14  3.6K  
 ordinal-definitions...> 19-Dec-2005 20:34  8.8K  
 ordinal-exponentiati..> 26-Mar-2006 19:54   30K  
 ordinal-isomorphism...> 22-Jan-2004 14:58   18K  
 ordinal-multiplicati..> 26-Mar-2006 19:54   15K  
 ordinal-total-order...> 26-Mar-2006 19:55  5.7K  
 ordinals-without-ari..> 20-Nov-2003 18:06   80   
 ordinals.lisp           20-Nov-2003 18:22  111   
 proof-of-well-founde..> 20-Jan-2004 11:17  131   
 proof-of-well-founde..> 26-Mar-2006 19:55  4.4K  
 top-with-meta.lisp      20-Nov-2003 18:06  144