(5steps total) Remark PrintForm Definitions num thy 1 Sections StandardLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: divides instance
  3 | 6
By: Assert (ext{decidable__divides}(3,6)  Dec(3 | 6))

Generated subgoal:

1 1. ext{decidable__divides}(3,6)  Dec(3 | 6)
  3 | 6
4 steps

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

(5steps total) Remark PrintForm Definitions num thy 1 Sections StandardLIB Doc