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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Makefile17-Dec-2007 10:00 1.8K 
[   ]certify.lsp17-Dec-2007 10:00 667  
[   ]copyright17-Dec-2007 10:00 1.0K 
[   ]e0-ordinal.lisp17-Dec-2007 10:00 11K 
[   ]lexicographic-ordering.lisp21-Jul-2008 15:09 5.8K 
[   ]limits.lisp17-Dec-2007 10:00 1.7K 
[   ]ordinal-addition.lisp17-Dec-2007 10:00 12K 
[   ]ordinal-basic-thms.lisp17-Dec-2007 10:00 10K 
[   ]ordinal-counter-examples.lisp17-Dec-2007 10:00 3.6K 
[   ]ordinal-definitions.lisp20-Jul-2008 16:05 8.8K 
[   ]ordinal-exponentiation.lisp17-Dec-2007 10:00 30K 
[   ]ordinal-isomorphism.lisp17-Dec-2007 10:00 18K 
[   ]ordinal-multiplication.lisp17-Dec-2007 10:00 15K 
[   ]ordinal-total-order.lisp17-Dec-2007 10:00 5.7K 
[   ]ordinals-without-arithmetic.lisp17-Dec-2007 10:00 80  
[   ]ordinals.lisp17-Dec-2007 10:00 111  
[   ]proof-of-well-foundedness.acl217-Dec-2007 10:00 131  
[   ]proof-of-well-foundedness.lisp17-Dec-2007 10:00 4.4K 
[   ]top-with-meta.lisp17-Dec-2007 10:00 154