Nuprl - mb_event_system_1 LEMMAs for not_locl

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

Theorem	Name
Thm* a:Id, l:IdLnk, tg:Id. locl(a) = rcv(l; tg) False	[not_locl_rcv]
cites the following:
Thm* a:Id, l:IdLnk, tg:Id. rcv(l; tg) = locl(a) False	[not_rcv_locl]

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