i:Id, L:Knd List, l:IdLnk, tg:Id.
  @i: only L sends on (l with tg)  Dsys
  & (D:Dsys. 
  & (@i: only L sends on (l with tg)  D
  & (
  & (D 
  & (realizes es.e:E. 
  & (realizes es.loc(e) = i  Id  null(sends(l,tg,e))  (kind(e)  L))

By:	NewSpecializeEsLemmaOn Thm* i:Id, L:Knd List, l:IdLnk, tg:Id. Thm* @i: only L sends on (l with tg)  Thm* realizes es.e:E. loc(e) = i  Id  null(sends(l,tg,e))  (kind(e)  L) only L sends on (l with tg)

None

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