[isabelle-dev] NEWS: [rotated] attribute

[Gerwin Klein]

* Isar: the new attribute [rotated n] (default n = 1) rotates the
premises of a theorem by n. Useful in conjunction with drule.

Cheers,
Gerwin