Nuprl - Proof: only pm one divs one 1 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: only pm one divs one 1 1

1. b :

2. b | 1
3. b

b = 1

By:	Decide (b = 0)

Generated subgoals:

1 4. b = 0
b = 1
1 step

2 4. b = 0
b = 1
Auto

About:

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