Fixes to the theorem modules.

[features.git] / lib / layouts / theorems.inc

diff --git a/lib/layouts/theorems.inc b/lib/layouts/theorems.inc
index a85561b850a8e8ffe8c959c4750de044be4c2814..544e84584b15b517e4efec05752fb3af5bdbe60f 100644 (file)
--- a/lib/layouts/theorems.inc
+++ b/lib/layouts/theorems.inc
@@ -48,7 +48,6 @@ Style Theorem
          Series              Bold
        EndFont
        Preamble
-               \theoremstyle{plain}
                \newtheorem{thm}{Theorem}
        EndPreamble
 End
@@ -60,7 +59,6 @@ Style Corollary
        LatexName             cor
        LabelString           "Corollary \thetheorem."
        Preamble
-         \theoremstyle{plain}
          \newtheorem{cor}[thm]{Corollary}
        EndPreamble
 End
@@ -72,7 +70,6 @@ Style Lemma
        LatexName             lem
        LabelString           "Lemma \thetheorem."
        Preamble
-         \theoremstyle{plain}
          \newtheorem{lem}[thm]{Lemma}
        EndPreamble
 End
@@ -84,7 +81,6 @@ Style Proposition
        LatexName             prop
        LabelString           "Proposition \thetheorem."
        Preamble
-         \theoremstyle{plain}
          \newtheorem{prop}[thm]{Proposition}
        EndPreamble
 End
@@ -96,7 +92,6 @@ Style Conjecture
        LatexName             conjecture
        LabelString           "Conjecture \thetheorem."
        Preamble
-         \theoremstyle{plain}
          \newtheorem{conjecture}[thm]{Conjecture}
        EndPreamble
 End
@@ -108,7 +103,6 @@ Style Fact
        LatexName             fact
        LabelString           "Fact \thetheorem."
        Preamble
-         \theoremstyle{plain}
          \newtheorem{fact}[thm]{Fact}
        EndPreamble
 End