Index of /users/moore/acl2/v4-1/distrib/acl2-sources/books/ordinals

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Makefile13-Oct-2008 14:04 51  
[   ]copyright13-Oct-2008 14:04 1.0K 
[   ]e0-ordinal.lisp13-Oct-2008 14:04 11K 
[   ]lexicographic-ordering.lisp13-Oct-2008 14:04 5.8K 
[   ]limits.lisp13-Oct-2008 14:04 1.7K 
[   ]ordinal-addition.lisp13-Oct-2008 14:04 12K 
[   ]ordinal-basic-thms.lisp13-Oct-2008 14:04 10K 
[   ]ordinal-counter-examples.lisp13-Oct-2008 14:04 3.6K 
[   ]ordinal-definitions.lisp13-Oct-2008 14:04 8.8K 
[   ]ordinal-exponentiation.lisp13-Oct-2008 14:04 30K 
[   ]ordinal-isomorphism.lisp13-Oct-2008 14:04 18K 
[   ]ordinal-multiplication.lisp13-Oct-2008 14:04 15K 
[   ]ordinal-total-order.lisp13-Oct-2008 14:04 5.7K 
[   ]ordinals-without-arithmetic.lisp13-Oct-2008 14:04 80  
[   ]ordinals.lisp13-Oct-2008 14:04 111  
[   ]proof-of-well-foundedness.acl213-Oct-2008 14:04 131  
[   ]proof-of-well-foundedness.lisp13-Oct-2008 14:04 4.4K 
[   ]top-with-meta.lisp13-Oct-2008 14:04 154