rotate_tac

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.txt · Last modified: 2011/06/14 22:04 by 178.26.109.100
 
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki