Example

• wp(t:=x;x:=y;y:=t,x=X^y=Y)

• wp(t:=x;x:=y,wp(y:=t,x=X^y=Y))

• wp(t:=x;x:=y,x=X^t=Y)

• wp(t:=x,wp(x:=y,x=X^t=Y))

• wp(t:=x,y=X^t=Y)

• y=X^x=Y

Previous slide

Next slide

Back to first slide

View graphic version