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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 osets/                  05-Nov-2007 21:36    -   
 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/ contains Jared Davis's "Fully Ordered
Finite Sets" library.