Nuprl - Proof: hanoi peg perm comp2 1 1

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

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

q
6. r

s
7. q = p

r = s

By:

Analyze5

Generated subgoals:

None

About:

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