Def i=j == if i=j true ; false fi

is mentioned by

Def fpf-is-empty(f) == ||1of(f)||=0	[fpf-is-empty]
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 p = q == 1of(p) = 1of(q)(2of(p)=2of(q))	[w-eq-E]

In prior sections: bool 1 sqequal 1 mb nat mb event system 2 int 2 num thy 1 mb event system 1

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