1 # Author: David L. Johnson <dlj0@lehigh.edu>
2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
4 # This version has Theorems and other results numbered in one sequence, and all
5 # numbered environments (figures as well) containing the section number
6 # (Theorem (1.1), Corollary (1.2) Theorem (1.3), etc.)
7 # These are only the theorems styles environments
8 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
9 # Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
21 LabelString "Alternative Proof String"
22 Tooltip "Alternative proof string"
32 AlignPossible Block, Left
44 DocBookAttr role='proof'