# 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 :
# - Notation
# - Summary
# - Acknowledgement
-# - Case
# - 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}
Style Corollary
+ LabelCounter corollary
+ DependsOn ""
+ LabelString "Corollary \arabic{corollary}."
Preamble
\theoremstyle{plain}
\newtheorem{cor}{Corollary}
Style Lemma
+ LabelCounter lemma
+ DependsOn ""
+ LabelString "Lemma \arabic{lemma}."
Preamble
\theoremstyle{plain}
\newtheorem{lem}{Lemma}
Style Proposition
+ LabelCounter proposition
+ DependsOn ""
+ LabelString "Proposition \arabic{proposition}."
Preamble
\theoremstyle{plain}
\newtheorem{prop}{Proposition}
Style Conjecture
+ LabelCounter conjecture
+ DependsOn ""
+ LabelString "Conjecture \arabic{conjecture}."
Preamble
\theoremstyle{plain}
\newtheorem{conjecture}{Conjecture}
Style Criterion
+ LabelCounter criterion
+ DependsOn ""
+ LabelString "Criterion \arabic{criterion}."
Preamble
\theoremstyle{plain}
\newtheorem{criterion}{Criterion}
Style Algorithm
+ LabelCounter algorithm
+ DependsOn ""
+ LabelString "Algorithm \arabic{algorithm}."
Preamble
\theoremstyle{plain}
\newtheorem{algorithm}{Algorithm}
Style Fact
+ LabelCounter fact
+ DependsOn ""
+ LabelString "Fact \arabic{fact}."
Preamble
\theoremstyle{plain}
\newtheorem{fact}{Fact}
Style Axiom
+ LabelCounter axiom
+ DependsOn ""
+ LabelString "Axiom \arabic{axiom}."
Preamble
\theoremstyle{plain}
\newtheorem{ax}{Axiom}
Style Definition
+ LabelCounter definition
+ DependsOn ""
+ LabelString "Definition \arabic{definition}."
Preamble
\theoremstyle{definition}
\newtheorem{defn}{Definition}
Style Example
+ LabelCounter example
+ DependsOn ""
+ LabelString "Example \arabic{example}."
Preamble
\theoremstyle{definition}
\newtheorem{example}{Example}
Style Condition
+ LabelCounter condition
+ DependsOn ""
+ LabelString "Condition \arabic{condition}."
Preamble
\theoremstyle{definition}
\newtheorem{condition}{Condition}
Style Problem
+ LabelCounter problem
+ DependsOn ""
+ LabelString "Problem \arabic{problem}."
Preamble
\theoremstyle{definition}
\newtheorem{problem}{Problem}
Style Exercise
+ LabelCounter exercise
+ DependsOn ""
+ LabelString "Exercise \arabic{exercise}."
Preamble
\theoremstyle{definition}
\newtheorem{xca}{Exercise}
Style Remark
+ LabelCounter remark
+ DependsOn ""
+ LabelString "Remark \arabic{remark}."
Preamble
\theoremstyle{remark}
\newtheorem{rem}{Remark}
Style Claim
+ LabelCounter claim
+ DependsOn ""
+ LabelString "Claim \arabic{claim}."
Preamble
\theoremstyle{remark}
\newtheorem{claim}{Claim}
Style Note
+ LabelCounter note
+ DependsOn ""
+ LabelString "Note \arabic{note}."
Preamble
\theoremstyle{remark}
\newtheorem{note}{Note}
Style Notation
+ LabelCounter notation
+ DependsOn ""
+ LabelString "Notation \arabic{notation}."
Preamble
\theoremstyle{remark}
\newtheorem{notation}{Notation}
Style Summary
+ LabelCounter summary
+ DependsOn ""
+ LabelString "Summary \arabic{summary}."
Preamble
\theoremstyle{remark}
\newtheorem{summary}{Summary}
Style Acknowledgement
+ LabelCounter acknowledgement
+ DependsOn ""
+ LabelString "Acknowledgement \arabic{acknowledgement}."
Preamble
\theoremstyle{remark}
\newtheorem{acknowledgement}{Acknowledgement}
End
-Style Case
+Style Conclusion
+ LabelCounter conclusion
+ DependsOn ""
+ LabelString "Conclusion \arabic{conclusion}."
Preamble
\theoremstyle{remark}
- \newtheorem{case}{Case}
+ \newtheorem{conclusion}{Conclusion}
EndPreamble
End
-Style Conclusion
+Style Assumption
+ LabelCounter assumption
+ DependsOn ""
+ LabelString "Assumption \arabic{assumption}."
Preamble
- \theoremstyle{remark}
- \newtheorem{conclusion}{Conclusion}
+ \theoremstyle{plain}
+ \newtheorem{assumption}{Assumption}
EndPreamble
End
-
-
-
-