MarkB
generic
Sections
NuprlLIB
Doc
Def
i=
j == if i=j
true
; false
fi
is mentioned
In prior sections:
bool
1
sqequal
1
prog
1
mb
nat
int
2
mb
basic
num
thy
1
MarkB
generic
Sections
NuprlLIB
Doc
j == if i=j
true ; false fi