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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Makefile05-Mar-2005 17:21 1.8K 
[   ]certify.lsp01-Feb-2004 11:35 667  
[   ]copyright01-Feb-2004 11:38 1.0K 
[   ]e0-ordinal.lisp06-Sep-2004 17:15 11K 
[   ]lexicographic-ordering.lisp13-Mar-2005 10:07 5.4K 
[   ]limits.lisp26-Mar-2006 19:54 1.7K 
[   ]ordinal-addition.lisp26-Mar-2006 19:54 12K 
[   ]ordinal-basic-thms.lisp19-Dec-2005 20:32 10K 
[   ]ordinal-counter-examples.lisp19-Jan-2004 21:14 3.6K 
[   ]ordinal-definitions.lisp19-Dec-2005 20:34 8.8K 
[   ]ordinal-exponentiation.lisp26-Mar-2006 19:54 30K 
[   ]ordinal-isomorphism.lisp22-Jan-2004 14:58 18K 
[   ]ordinal-multiplication.lisp26-Mar-2006 19:54 15K 
[   ]ordinal-total-order.lisp26-Mar-2006 19:55 5.7K 
[   ]ordinals-without-arithmetic.lisp20-Nov-2003 18:06 80  
[   ]ordinals.lisp20-Nov-2003 18:22 111  
[   ]proof-of-well-foundedness.acl220-Jan-2004 11:17 131  
[   ]proof-of-well-foundedness.lisp26-Mar-2006 19:55 4.4K 
[   ]top-with-meta.lisp20-Nov-2003 18:06 144