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