]> git.lyx.org Git - lyx.git/blobdiff - lib/layouts/theorems-ams.inc
Spanish EmbeddedObjects.lyx: translation update by Ignacio
[lyx.git] / lib / layouts / theorems-ams.inc
index 6553c4f7cd02a737a83e687b7f1cd6b9b55a2fe2..3b4292532316ee1fdeb373f538d6c69d66c9094c 100644 (file)
 # - Proof
 # - Case (regular only -- defined as an enumeration)
 
-Format 6
+Format 7
 
 Style Theorem
+       Category              Theorem
        Margin                First_Dynamic
        LatexType             Environment
        LatexName             thm
@@ -51,6 +52,7 @@ Style Theorem
                \theoremstyle{plain}
                \newtheorem{thm}{Theorem}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -141,6 +143,7 @@ Style Example
         \theoremstyle{definition}
          \newtheorem{example}[thm]{Example}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -152,6 +155,7 @@ Style Problem
          \theoremstyle{definition}
          \newtheorem{problem}[thm]{Problem}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -163,6 +167,7 @@ Style Exercise
          \theoremstyle{definition}
          \newtheorem{xca}[thm]{Exercise}
        EndPreamble
+       Requires              amsthm
 End
 
 
@@ -194,11 +199,13 @@ Style Claim
          \theoremstyle{remark}
          \newtheorem{claim}[thm]{Claim}
        EndPreamble
+       Requires              amsthm
 End
 
 
 # Define Case as an enumeration environment
 Style Case
+       Category              Theorem
        CopyStyle             Enumerate
        LatexName             caseenv
        LabelType             Static
@@ -207,7 +214,8 @@ Style Case
        Preamble
          \newcounter{casectr}
          \newenvironment{caseenv}
-{\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}
-{\end{list}}
+                       {\begin{list}{\bfseries\upshape Case \arabic{casectr}:}%
+                       {}\setcounter{casectr}{0}\usecounter{casectr}}%
+               {\end{list}}
        EndPreamble
 End