Nuprl - Proof: es-loc-rcv 2 2

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: es-loc-rcv 2 2

1. es : ES
2. e : E
3. l : IdLnk
4. tg : Id
5. kind(e) = rcv(l; tg)
6. isrcv(e)
7.

loc(sender(e)) = source(l)

By:	Inst_ES_Axiom [sender(e);l] 14

Generated subgoal:

1 8. sends(l;sender(e)) = nil (Msg on l) List
loc(sender(e)) = source(l)
3 steps

About:

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