Nuprl - bool 2 jlc creation notes

The section "bool_2" of Caldwell's Support library in nuprl/lib/theories/caldwell/theories/support/.

(creation_script.lisp)

Mon Jan 27 20:41:31 EST 2003