User Tools
reference:rotate_tac
Differences
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]]''. |
reference/rotate_tac.1308081838.txt.gz ยท Last modified: 2011/06/14 22:03 by 178.26.109.100
Page Tools
