IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Several sections on Discrete Mathematics. See creation_script.lisp (sfa)
Tue Aug 3 10:12:16 EDT 2004; WebProjector version=16; NuprlDPSE version=171 (patch 1)
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
