Nuprl - Proof: divides instance 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: divides instance 1

1. ext{decidable__divides}(3,6)

Dec(3 | 6)

3 | 6

By:	Unfold `decidable` 1

Generated subgoal:

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

About:

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