PrintForm Definitions mb event system 2 Sections EventSystems Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: es-locl-trans
  the_es:ES. Trans x,y:E. (x <loc y)
By: Use_ES_Axioms

Generated subgoals:

None

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

PrintForm Definitions mb event system 2 Sections EventSystems Doc