This shows you the differences between two versions of the page.
Next revision | Previous revision | ||
reference:rotate_tac [2011/06/13 22:00] 178.26.109.100 created |
reference:rotate_tac [2011/06/14 22:04] (current) 178.26.109.100 |
||
---|---|---|---|
Line 1: | Line 1: | ||
===== rotate_tac ===== | ===== rotate_tac ===== | ||
+ | |||
Rotates the assumptions by k positions to the left. | Rotates the assumptions by k positions to the left. | ||
+ | |||
+ | It can be used to influence which assumption is unified when using methods like ''[[drule]]'', ''[[frule]]'', ''[[erule]]'' or even ''[[assumption]]''. |