Def A == A  False

is mentioned by

Thm* (m,n:. 3m+5n = 7)

[stamps_why_8cents]

In prior sections: core bool 1 int 2 rel 1 num thy 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html