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-loc-pred
  the_es:ES, e:E. first(e)  loc(pred(e)) = loc(e)  Id
By: (Use_ES_Axioms THEN BackThru 4) THEN OrLeft THEN (InstHyp [e] 6)

Generated subgoals:

None

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

PrintForm Definitions mb event system 2 Sections EventSystems Doc