(2steps total) 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-le-loc 1
1. es : ES
2. e : E
3. e' : E
4. e = e'
  loc(e) = loc(e')  Id
By: Analyze

Generated subgoals:

None

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

(2steps total) PrintForm Definitions mb event system 2 Sections EventSystems Doc