(3steps total) PrintForm Definitions Lemmas hol num Sections HOLlib Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: hnum ty def 1 1
  iso_pair(;;is_num_rep;rep_num;abs_num)
By: L Thm* iso_pair(;;is_num_rep;rep_num;abs_num) THEN StrongAuto

Generated subgoals:

None
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(3steps total) PrintForm Definitions Lemmas hol num Sections HOLlib Doc