Index of /users/moore/acl2/v3-0/distrib/acl2-sources/books/finite-set-theory

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 osets/                  29-May-2006 00:06    -   
 Makefile                05-Mar-2005 17:25  290   
 certify.lsp             01-Jan-2001 22:48  759   
 set-theory.acl2         04-Jun-2000 23:35  622   
 set-theory.lisp         26-Jan-2006 12:44  102K  
 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.