Lists
Caldwell's Support library in nuprl/lib/theories/caldwell/theories/support/.
(creation_script.lisp)