(2steps total) PrintForm Lemmas hol bool Sections HOLlib Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: hbool cases ax 1
1. t : 
  t = true  t = false
By: L Thm* b:. b = true  b = false THEN StrongAuto

Generated subgoals:

None

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

(2steps total) PrintForm Lemmas hol bool Sections HOLlib Doc