Nuprl - Proof: hanoi peg perm comp1 1

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

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

q
6. r

if p=

r ; p=

s else otherPeg(r; s) fi = r

By:	SplitITE Concl THEN Analyze-1

Generated subgoals:

None

About:

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