IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
es-interval wf211 1. es : ES
2. e : E
3. e' : E
4. ev : E
5. eev 6. loc(ev) = loc(e') & (ev < e') ev = e' loc(ev) = loc(e') Id
By:
Analyze -1 THEN HypSubst -1 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
ev
ev = e'
loc(ev) = loc(e') 
Id
