Def null(as) == Case of as; nil  true ; a.as'  false

is mentioned by

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

[s-sframe-rule]

In prior sections: list 1 mb list 1 mb event system 6

Try larger context: EventSystems IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html