PrintForm mb event system 6 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: bool-inhabited
  
By: UseWitness true

Generated subgoals:

None

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

PrintForm mb event system 6 Sections EventSystems Doc