Def  p=q == if p=q true ; false fi

is mentioned by

Def  permute(p to r ; q to s)(u) == if u=p r ; u=q s else otherPeg(r; s) fi

[hanoi_peg_perm]

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