IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
hanoi sol2 ala generalPROGworks11 1. p : Peg
2. q : Peg
3. pq 4. a : (x,i. whatever) is a Hanoi(0 disk) seq on a..a
By:
Analyze
Generated subgoals:
None
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
q
(
x,i. whatever) is a Hanoi(0 disk) seq on a..a
