MarkB
generic
Sections
NuprlLIB
Doc
Def
Refl(T;x,y.E(x;y)) ==
a:T. E(a;a)
is mentioned
In prior sections:
rel
1
MarkB
generic
Sections
NuprlLIB
Doc