Def b == if b false else true fi

is mentioned by

Thm* k:Knd. islocal(k) ~ isrcv(k)	[islocal-not-isrcv]
Def islocal(k) == isl(k)	[islocal]

In prior sections: bool 1 union

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