PrintForm Definitions hol Sections HOLlib Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assert of bfalse
  false  False
By: BoolNorm THEN StrongAuto

Generated subgoals:

None

About:
bfalseassertfalse
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

PrintForm Definitions hol Sections HOLlib Doc