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  
[TXT]copyright17-Dec-2007 10:00 1.0K 
[TXT]e0-ordinal.lisp17-Dec-2007 10:00 11K 
[TXT]lexicographic-ordering.lisp21-Jul-2008 15:09 5.8K 
[TXT]limits.lisp17-Dec-2007 10:00 1.7K 
[   ]ordinal-addition.lisp17-Dec-2007 10:00 12K 
[TXT]ordinal-basic-thms.lisp17-Dec-2007 10:00 10K 
[TXT]ordinal-counter-examples.lisp17-Dec-2007 10:00 3.6K 
[TXT]ordinal-definitions.lisp20-Jul-2008 16:05 8.8K 
[   ]ordinal-exponentiation.lisp17-Dec-2007 10:00 30K 
[TXT]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  
[TXT]proof-of-well-foundedness.lisp17-Dec-2007 10:00 4.4K 
[TXT]top-with-meta.lisp17-Dec-2007 10:00 154  

Apache/2.2.14 (Ubuntu) Server at www.cs.utexas.edu Port 80