Isabelle/HOL Support Wiki

User Tools

Site Tools

Trace: • Isabelle/HOL Syntax • drule • Assumption • Induction • Editor • Goals of the Exercises • FAQ - Ask Questions • Exam Questions • External References • rotate_tac
reference:rotate_tac

This is an old revision of the document!

rotate_tac

Rotates the assumptions by k positions to the left.

reference/rotate_tac.1307995236.txt.gz · Last modified: by 178.26.109.100
Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki