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-swellfnd
  the_es:ES. SWellFounded((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