(10steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: decidable divides
  a,b:. Dec(a | b)
By: UnivCD

Generated subgoal:

1 1. a : 
2. b : 
  Dec(a | b)
9 steps

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

(10steps total) PrintForm Definitions Lemmas num thy 1 Sections StandardLIB Doc