Differences

This shows you the differences between two versions of the page.

--- 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.
-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]]''.