Nuprl - Proof: assert-es-ble 1 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: assert-es-ble 1 1 1

1. es : ES
2. e : E
3. e' : E
4. the_es:ES

e',e:E

Dec(e

e' )
5.

e'
6. e

False

By:	Analyze -2

Generated subgoals:

None

About:

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