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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 osets/                  10-Aug-2008 15:07    -   
 Makefile                17-Dec-2007 09:58  290   
 certify.lsp             17-Dec-2007 09:58  759   
 set-theory.acl2         17-Dec-2007 09:58  622   
 set-theory.lisp         17-Dec-2007 09:58  102K  
 total-ordering.lisp     17-Dec-2007 09:58  9.1K  

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