Nuprl - lambda jlc creation notes

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

(creation_script.lisp)

Mon Jan 27 20:12:05 EST 2003