Nuprl - Proof: bequal bools

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: bequal bools

x,y:

. x = y

By:	RepeatMFor 4 (Analyze 0)

Generated subgoals:

1 1. x :
2. y :
3. x = y
  x  y
1 step

2 1. x :
2. y :
3. x  y
  x = y
3 steps

About:

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

1	1. x : 2. y : 3. x = y x y	1 step
2	1. x : 2. y : 3. x y x = y	3 steps