IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Examples of number theory proofs adapted from Amanda's study.
See creation_script.lisp
Fri Sep 26 16:41:41 EDT 2003
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html