[isabelle-dev] NEWS: [rotated] attribute

Gerwin Klein gerwin.klein at nicta.com.au
Mon Aug 13 04:36:55 CEST 2007

Previous message (by thread): [isabelle-dev] jEdit --- The New Emacs
Next message (by thread): [isabelle-dev] NEWS: HOL-Word
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Cheers,
Gerwin

Previous message (by thread): [isabelle-dev] jEdit --- The New Emacs
Next message (by thread): [isabelle-dev] NEWS: HOL-Word
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list