Def false == inr()

is mentioned by

Def first(e) Def == if time(e)=0 true Def == i; isnull(a(loc(e);time(e)-1)) first(<loc(e),time(e)-1>) Def == else false fi Def (recursive)	[w-first]
Def es-ble{i:l}(es;e;e') Def == InjCase(decidable__es_DASH_le{1:l, i:l}(es,e',e); x. true, false)	[es-ble]

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

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