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.
