include intl/libintl.h that is relative to $TOP_SRCDIR/src

[lyx.git] / lib / layouts / amsmaths-seq.inc

# Author : David L. Johnson <dlj0@lehigh.edu>
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>

# These are only the theorems styles environnements
# The environnements defined are :
# - Theorem
# - Corollary
# - Lemma
# - Proposition
# - Conjecture
# - Criterion
# - Algorithm
# - Fact
# - Axiom
# - Definition
# - Example
# - Condition
# - Problem
# - Exercise
# - Remark
# - Claim
# - Note
# - Notation
# - Summary
# - Acknowledgement
# - Conclusion
# - Assumption
# - Case (regular only -- defined as an enumeration)

Format 5

# Use a simpler preamble.

Preamble
EndPreamble


# but more counters

# Do not restart theorem counter after section change
Counter
        Name                  thm
End

Counter
        Name                  corollary
End


Counter
        Name                  lemma
End


Counter
        Name                  proposition
End


Counter
        Name                  conjecture
End


Counter
        Name                  criterion
End


Counter
        Name                  algorithm
End


Counter
        Name                  fact
End


Counter
        Name                  axiom
End


Counter
        Name                  definition
End


Counter
        Name                  example
End


Counter
        Name                  condition
End


Counter
        Name                  problem
End


Counter
        Name                  exercise
End


Counter
        Name                  remark
End


Counter
        Name                  claim
End


Counter
        Name                  note
End


Counter
        Name                  notation
End


Counter
        Name                  summary
End


Counter
        Name                  acknowledgement
End


Counter
        Name                  conclusion
End

Counter
        Name                  assumption
End

Style Theorem
        LabelCounter          thm
        LabelString           "Theorem \arabic{thm}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{thm}{Theorem}
        EndPreamble
End


Style Corollary
        LabelCounter          corollary
        DependsOn             ""
        LabelString           "Corollary \arabic{corollary}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{cor}{Corollary}
        EndPreamble
End


Style Lemma
        LabelCounter          lemma
        DependsOn             ""
        LabelString           "Lemma \arabic{lemma}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{lem}{Lemma}
        EndPreamble
End


Style Proposition
        LabelCounter          proposition
        DependsOn             ""
        LabelString           "Proposition \arabic{proposition}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{prop}{Proposition}
        EndPreamble
End


Style Conjecture
        LabelCounter          conjecture
        DependsOn             ""
        LabelString           "Conjecture \arabic{conjecture}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{conjecture}{Conjecture}
        EndPreamble
End


Style Criterion
        LabelCounter          criterion
        DependsOn             ""
        LabelString           "Criterion \arabic{criterion}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{criterion}{Criterion}
        EndPreamble
End


Style Algorithm
        LabelCounter          algorithm
        DependsOn             ""
        LabelString           "Algorithm \arabic{algorithm}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{algorithm}{Algorithm}
        EndPreamble
End


Style Fact
        LabelCounter          fact
        DependsOn             ""
        LabelString           "Fact \arabic{fact}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{fact}{Fact}
        EndPreamble
End


Style Axiom
        LabelCounter          axiom
        DependsOn             ""
        LabelString           "Axiom \arabic{axiom}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{ax}{Axiom}
        EndPreamble
End


Style Definition
        LabelCounter          definition
        DependsOn             ""
        LabelString           "Definition \arabic{definition}."
        Preamble
         \theoremstyle{definition}
         \newtheorem{defn}{Definition}
        EndPreamble
End


Style Example
        LabelCounter          example
        DependsOn             ""
        LabelString           "Example \arabic{example}."
        Preamble
         \theoremstyle{definition}
          \newtheorem{example}{Example}
        EndPreamble
End


Style Condition
        LabelCounter          condition
        DependsOn             ""
        LabelString           "Condition \arabic{condition}."
        Preamble
         \theoremstyle{definition}
          \newtheorem{condition}{Condition}
        EndPreamble
End


Style Problem
        LabelCounter          problem
        DependsOn             ""
        LabelString           "Problem \arabic{problem}."
        Preamble
         \theoremstyle{definition}
          \newtheorem{problem}{Problem}
        EndPreamble
End


Style Exercise
        LabelCounter          exercise
        DependsOn             ""
        LabelString           "Exercise \arabic{exercise}."
        Preamble
         \theoremstyle{definition}
          \newtheorem{xca}{Exercise}
        EndPreamble
End


Style Remark
        LabelCounter          remark
        DependsOn             ""
        LabelString           "Remark \arabic{remark}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{rem}{Remark}
        EndPreamble
End


Style Claim
        LabelCounter          claim
        DependsOn             ""
        LabelString           "Claim \arabic{claim}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{claim}{Claim}
        EndPreamble
End


Style Note
        LabelCounter          note
        DependsOn             ""
        LabelString           "Note \arabic{note}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{note}{Note}
        EndPreamble
End


Style Notation
        LabelCounter          notation
        DependsOn             ""
        LabelString           "Notation \arabic{notation}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{notation}{Notation}
        EndPreamble
End


Style Summary
        LabelCounter          summary
        DependsOn             ""
        LabelString           "Summary \arabic{summary}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{summary}{Summary}
        EndPreamble
End


Style Acknowledgement
        LabelCounter          acknowledgement
        DependsOn             ""
        LabelString           "Acknowledgement \arabic{acknowledgement}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{acknowledgement}{Acknowledgement}
        EndPreamble
End


Style Conclusion
        LabelCounter          conclusion
        DependsOn             ""
        LabelString           "Conclusion \arabic{conclusion}."
        Preamble
          \theoremstyle{remark}
          \newtheorem{conclusion}{Conclusion}
        EndPreamble
End


Style Assumption
        LabelCounter          assumption
        DependsOn             ""
        LabelString           "Assumption \arabic{assumption}."
        Preamble
          \theoremstyle{plain}
          \newtheorem{assumption}{Assumption}
        EndPreamble
End