IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
assert-es-eq-E the_es:ES, e,e':E. e = e'e = e'
By:
((All_ES THEN Analyze 0) THEN (Analyze 0)) THEN RWO "deq_property<" 0
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to http://www.cs.cornell.edu/Info/People/sfa/Nuprl/Shared/Xindentation_hack_doc.html
the_es:ES, e,e':E. e = e' 
e = e'
