PrintForm Definitions hol num Sections HOLlib Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: nat eq to int
  m,n:. m = n  m = n
By: Id THEN StrongAuto

Generated subgoals:

None

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

PrintForm Definitions hol num Sections HOLlib Doc