Nuprl - list 3 jlc creation notes

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

(creation_script.lisp)

Tue Jan 28 14:59:17 EST 2003