This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
reference:rotate_tac [2011/06/14 22:03] 178.26.109.100 |
reference:rotate_tac [2011/06/14 22:04] (current) 178.26.109.100 |
||
---|---|---|---|
Line 3: | Line 3: | ||
Rotates the assumptions by k positions to the left. | 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]]''. | + | It can be used to influence which assumption is unified when using methods like ''[[drule]]'', ''[[frule]]'', ''[[erule]]'' or even ''[[assumption]]''. |