* layouts/amsmaths-seq.inc:

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

diff --git a/lib/layouts/amsmaths.inc b/lib/layouts/amsmaths.inc
index 6c4f4db39a5bd87442195a087498b011062626ca..cb2c3976f2a0390eec937638493c6a51c86cde34 100644 (file)
--- a/lib/layouts/amsmaths.inc
+++ b/lib/layouts/amsmaths.inc
@@ -45,7 +45,6 @@ Style Theorem
        Margin                First_Dynamic
        LatexType             Environment
        LatexName             thm
-       #DependsOn             TheoremStyle
        NextNoIndent          1
        LabelSep              xx
        ParIndent             MMM
@@ -88,6 +87,7 @@ End
 
 Style Corollary
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             cor
        LabelString           "Corollary @Section@.\arabic{theorem}."
        Preamble
@@ -110,6 +110,7 @@ End
 
 Style Lemma
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             lem
        LabelString           "Lemma @Section@.\arabic{theorem}."
        Preamble
@@ -132,6 +133,7 @@ End
 
 Style Proposition
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             prop
        LabelString           "Proposition @Section@.\arabic{theorem}."
        Preamble
@@ -154,6 +156,7 @@ End
 
 Style Conjecture
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             conjecture
        LabelString           "Conjecture @Section@.\arabic{theorem}."
        Preamble
@@ -176,6 +179,7 @@ End
 
 Style Criterion
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             criterion
        LabelString           "Criterion @Section@.\arabic{theorem}."
        Preamble
@@ -197,6 +201,7 @@ End
 
 Style Algorithm
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             algorithm
        LabelString           "Algorithm @Section@.\arabic{theorem}."
        Preamble
@@ -219,6 +224,7 @@ End
 
 Style Fact
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             fact
        LabelString           "Fact @Section@.\arabic{theorem}."
        Preamble
@@ -241,6 +247,7 @@ End
 
 Style Axiom
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             ax
        LabelString           "Axiom @Section@.\arabic{theorem}."
        Preamble
@@ -263,6 +270,7 @@ End
 
 Style Definition
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             defn
        LabelString           "Definition @Section@.\arabic{theorem}."
        Font
@@ -381,6 +389,7 @@ End
 
 Style Remark
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             rem
        LabelString           "Remark @Section@.\arabic{theorem}."
        Font
@@ -544,6 +553,7 @@ End
 
 Style Assumption
        CopyStyle             Theorem
+       DependsOn             Theorem
        LatexName             assumption
        LabelString           "Assumption @Section@.\arabic{theorem}."
        Preamble