-#\DeclareLyXModule{Defines some theorem environments for use with non-AMS classes. The theorems are numbered consecutively throughout the document.}{Theorems}
+#\DeclareLyXModule{Theorems}
+#DescriptionBegin
+#Defines some theorem environments for use with non-AMS classes. By default,
+#the theorems are numbered consecutively throughout the document. This can be
+#changed by loading one of the 'Theorems (Numbered by ...)' modules.
+#DescriptionEnd
+#Excludes: theorems-ams | theorems-starred
+#Category: theorems
# Author: Richard Heck <rgheck@comcast.net>
-# Adapted from amsmaths.inc
-# The environnements defined are :
-# - Theorem
-# - Corollary
-# - Lemma
-# - Proposition
-# - Conjecture
-# - Definition
-# - Example
-# - Exercise
-# - Remark
-# - Note
-# - Claim
-# - Case
-# - Conclusion
-# - Fact
+Format 60
-Format 5
-
-Counter
- Name theorem
-End
-
-
-Style Theorem
- Margin First_Dynamic
- LatexType Environment
- LatexName thm
- NextNoIndent 1
- LabelSep xx
- ParIndent MMM
- ParSkip 0.4
- ItemSep 0.2
- TopSep 0.7
- BottomSep 0.7
- ParSep 0.3
- Align Block
- AlignPossible Block, Left
- LabelType Counter
- LabelCounter theorem
- LabelString "Theorem \arabic{theorem}."
- Font
- Shape Italic
- Size Normal
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
- Preamble
- \newtheorem{thm}{Theorem}
- EndPreamble
-End
-
-Style Corollary
- CopyStyle Theorem
- LatexName cor
- LabelString "Corollary \thetheorem."
- Preamble
- \newtheorem{cor}[thm]{Corollary}
- EndPreamble
-End
-
-Style Lemma
- CopyStyle Theorem
- LatexName lem
- LabelString "Lemma \thetheorem."
- Preamble
- \newtheorem{lem}[thm]{Lemma}
- EndPreamble
-End
-
-Style Proposition
- CopyStyle Theorem
- LatexName prop
- LabelString "Proposition \thetheorem."
- Preamble
- \newtheorem{prop}[thm]{Proposition}
- EndPreamble
-End
-
-Style Conjecture
- CopyStyle Theorem
- LatexName conjecture
- LabelString "Conjecture \thetheorem."
- Preamble
- \newtheorem{conjecture}[thm]{Conjecture}
- EndPreamble
-End
-
-Style Fact
- CopyStyle Theorem
- LatexName fact
- LabelString "Fact \thetheorem."
- Preamble
- \newtheorem{fact}[thm]{Fact}
- EndPreamble
-End
-
-Style Definition
- CopyStyle Theorem
- LatexName defn
- LabelString "Definition \thetheorem."
- Font
- Shape Up
- EndFont
- LabelFont
- Shape Up
- Series Bold
- EndFont
- Preamble
- \newtheorem{defn}[thm]{Definition}
- EndPreamble
-End
-
-
-Style Example
- CopyStyle Definition
- LatexName example
- LabelString "Example \thetheorem."
- Preamble
- \newtheorem{example}[thm]{Example}
- EndPreamble
-End
-
-
-Style Exercise
- CopyStyle Definition
- LatexName xca
- LabelString "Exercise \thetheorem."
- Preamble
- \newtheorem{xca}{Exercise}
- EndPreamble
-End
-
-
-Style Remark
- CopyStyle Theorem
- LatexName rem
- LabelString "Remark \thetheorem."
- Font
- Shape Up
- Size Normal
- EndFont
- LabelFont
- Series Medium
- Shape Italic
- EndFont
- Preamble
- \newtheorem{rem}[thm]{Remark}
- EndPreamble
-End
-
-
-Style Claim
- CopyStyle Remark
- LatexName claim
- LabelString "Claim \thetheorem."
- Preamble
- \newtheorem{claim}[thm]{Claim}
- EndPreamble
-End
-
-Style Case
- CopyStyle Remark
- LatexName case
- LabelString "Case \thetheorem."
- Preamble
- \newtheorem{case}[thm]{Case}
- EndPreamble
-End
-
-
-Style Conclusion
- CopyStyle Remark
- LatexName conclusion
- LabelString "Conclusion \thetheorem."
- Preamble
- \newtheorem{conclusion}[thm]{Conclusion}
- EndPreamble
+Counter theorem
End
+Input theorems.inc
+Input theorems-proof.inc
+Input theorems-proof-std.inc