Nuprl - Proof: hanoi peg perm comp2 1 2 1

IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At: hanoi peg perm comp2 1 2 1

1. p : Peg
2. r : Peg
3. q : Peg
4. s : Peg
5. p

q
6. r

s
7. q

p
8. q

otherPeg(r; s) = s

By:

Analyze-1

Generated subgoals:

None

About:

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