Index of /users/moore/acl2/books/books/finite-set-theory

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] osets/                  30-Jan-2006 22:00    -   
[   ] Makefile                05-Mar-2005 17:25  290   
[   ] certify.lsp             01-Jan-2001 22:48  759   
[   ] set-theory.acl2         04-Jun-2000 23:35  622   
[TXT] set-theory.lisp         26-Jan-2006 12:44  102K  
[TXT] total-ordering.lisp     25-May-2000 11:54  9.1K  

The present directory contains J Moore's finite set theory book,
set-theory.lisp.  Subdirectory osets-0.8/ contains Jared Davis's "Fully Ordered
Finite Sets" library.