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

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] osets/                  01-May-2009 11:09    -   
[   ] Makefile                13-Oct-2008 14:02   51   
[   ] set-theory.acl2         13-Oct-2008 14:02  622   
[TXT] set-theory.lisp         13-Oct-2008 14:02  102K  
[TXT] total-ordering.lisp     13-Oct-2008 14:02  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.