This is an old revision of the document!
Rotates the assumptions by k positions to the left.
It is used to influence which assumption is unified when using methods like drule, frule, erule or even Assumption.
drule
frule
erule
Assumption