Def false == inr()

is mentioned by

Thm* P:(AT), k:Knd, i,r,x:Id. Thm* A Thm*  Thm* T Thm*  Thm* x = r Thm*  Thm* loc.(recognizer1(loc;T;A;P;k;i;r;x))  Thm* realizes es.e@i.kind(e) = k  Knd  (valtype(e) r T) Thm* realizes es.& (vartype(i;x) r A) Thm* realizes es.& e@i.first(e)  (r when e) = false   Thm* realizes es.& e'@i.(r after e') Thm* realizes es.& e'@i. Thm* realizes es.& e'@i.(e:E.  Thm* realizes es.& e'@i.((e <loc e')  e = e'  E Thm* realizes es.& e'@i.(& kind(e) = k  Knd Thm* realizes es.& e'@i.(& P((x when e),val(e)))	[recognizer1__realizes]
Def recognizer1(loc;T;A;P;k;i;r;x) Def == if loc = i Def == if [r :  initially r = false;  Def == if [only members of [k] affect r :;  Def == if [ma-single-effect1(r;;x;A;k;T;r,x,v. P(x,v)  r)] Def == else nil fi	[recognizer1]
Def once(loc;a;i) Def == if loc = i Def == if [ma-single-pre-init1("done";;false;a;Unit;x,v.x);  Def == if [only members of [locl(a)] affect "done" :;  Def == if [ma-single-effect0("done";;locl(a);Unit;x,v. true)] Def == else nil fi	[once]

In prior sections: bool 1 sqequal 1 list 1 union mb basic mb event system 2 mb event system 3

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