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

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -  
[   ]Makefile20-Sep-2010 19:29 51  
[   ]copyright20-Sep-2010 19:29 1.0K 
[   ]e0-ordinal.lisp20-Sep-2010 19:29 11K 
[   ]lexicographic-book.lisp13-Nov-2010 08:21 6.1K 
[   ]lexicographic-ordering-without-arithmetic.lisp13-Nov-2010 08:21 211  
[   ]lexicographic-ordering.lisp13-Nov-2010 08:21 243  
[   ]limits.lisp20-Sep-2010 19:29 1.7K 
[   ]ordinal-addition.lisp20-Sep-2010 19:29 12K 
[   ]ordinal-basic-thms.lisp20-Sep-2010 19:29 10K 
[   ]ordinal-counter-examples.lisp20-Sep-2010 19:29 3.6K 
[   ]ordinal-definitions.lisp20-Sep-2010 19:29 8.8K 
[   ]ordinal-exponentiation.lisp20-Sep-2010 19:29 30K 
[   ]ordinal-isomorphism.lisp20-Sep-2010 19:29 18K 
[   ]ordinal-multiplication.lisp20-Sep-2010 19:29 15K 
[   ]ordinal-total-order.lisp20-Sep-2010 19:29 5.7K 
[   ]ordinals-without-arithmetic.lisp20-Sep-2010 19:29 80  
[   ]ordinals.lisp20-Sep-2010 19:29 111  
[   ]proof-of-well-foundedness.acl220-Sep-2010 19:29 131  
[   ]proof-of-well-foundedness.lisp20-Sep-2010 19:29 4.4K 
[   ]top-with-meta.lisp20-Sep-2010 19:29 154