+# First cut at theorem environment support.
+# What other theorem-like environments are needed?
+# How many of these should be discarded?
+# I got this list from amsmaths*.inc but I haven't
+# found an official list of theorem environments for
+# IEEE Transactions.
+# OH! and all theorems are numbered. Is that a problem?
+# Tell me: rae@lyx.org
+
+
+# Theorem-numbered style *Template* declaration
+Style TheoremTemplate
+ Margin First_Dynamic
+ LatexType Environment
+ LabelSep M
+ ParIndent MM
+ ParSep 0.4
+ Align Block
+ AlignPossible Block, Left
+ LabelType Static
+ LabelFont
+ Shape Italic
+ EndFont
+End
+
+
+Style Proof
+ CopyStyle TheoremTemplate
+ LatexName proof
+ LabelString "Proof:"
+ EndLabelType Filled_Box
+End
+
+
+Style Theorem
+ CopyStyle TheoremTemplate
+ LatexName thm
+ LabelString "Theorem #:"
+ Preamble
+ \newtheorem{thm}{Theorem}
+ EndPreamble
+End
+
+
+Style Lemma
+ CopyStyle TheoremTemplate
+ LatexName lemma
+ LabelString "Lemma #:"
+ Preamble
+ \newtheorem{lemma}{Lemma}
+ EndPreamble
+End
+
+
+Style Corollary
+ CopyStyle TheoremTemplate
+ LatexName cor
+ LabelString "Corollary #:"
+ Preamble
+ \newtheorem{cor}{Corollary}
+ EndPreamble
+End
+
+
+Style Proposition
+ CopyStyle TheoremTemplate
+ LatexName prop
+ LabelString "Proposition #:"
+ Preamble
+ \newtheorem{prop}{Proposition}
+ EndPreamble
+End
+
+
+Style Conjecture
+ CopyStyle TheoremTemplate
+ LatexName conject
+ LabelString "Conjecture #:"
+ Preamble
+ \newtheorem{conject}{Conjecture}
+ EndPreamble
+End
+
+
+Style Criterion
+ CopyStyle TheoremTemplate
+ LatexName criter
+ LabelString "Criterion #:"
+ Preamble
+ \newtheorem{criter}{Criterion}
+ EndPreamble
+End
+
+
+Style Fact
+ CopyStyle TheoremTemplate
+ LatexName fact
+ LabelString "Fact #:"
+ Preamble
+ \newtheorem{fact}{Fact}
+ EndPreamble
+End
+
+
+Style Axiom
+ CopyStyle TheoremTemplate
+ LatexName axi
+ LabelString "Axiom #:"
+ Preamble
+ \newtheorem{axi}{Axiom}
+ EndPreamble
+End
+
+
+Style Definition
+ CopyStyle TheoremTemplate
+ LatexName definitn
+ LabelString "Definition #:"
+ Preamble
+ \newtheorem{definitn}{Definition}
+ EndPreamble
+End
+
+
+Style Example
+ CopyStyle TheoremTemplate
+ LatexName example
+ LabelString "Example #:"
+ Preamble
+ \newtheorem{example}{Example}
+ EndPreamble
+End
+
+
+Style Condition
+ CopyStyle TheoremTemplate
+ LatexName condition
+ LabelString "Condition #:"
+ Preamble
+ \newtheorem{condition}{Condition}
+ EndPreamble
+End
+
+
+Style Problem
+ CopyStyle TheoremTemplate
+ LatexName problem
+ LabelString "Problem #:"
+ Preamble
+ \newtheorem{problem}{Problem}
+ EndPreamble
+End
+
+
+Style Exercise
+ CopyStyle TheoremTemplate
+ LatexName exacise
+ LabelString "Exercise #:"
+ Preamble
+ \newtheorem{exacise}{Exercise}
+ EndPreamble
+End
+
+
+Style Remark
+ CopyStyle TheoremTemplate
+ LatexName remrk
+ LabelString "Remark #:"
+ Preamble
+ \newtheorem{remrk}{Remark}
+ EndPreamble
+End
+
+
+Style Claim
+ CopyStyle TheoremTemplate
+ LatexName claim
+ LabelString "Claim #:"
+ Preamble
+ \newtheorem{claim}{Claim}
+ EndPreamble
+End
+
+
+Style Note
+ CopyStyle TheoremTemplate
+ LatexName note
+ LabelString "Note #:"
+ Preamble
+ \newtheorem{note}{Note}
+ EndPreamble
+End
+
+
+Style Notation
+ CopyStyle TheoremTemplate
+ LatexName notation
+ LabelString "Notation #:"
+ Preamble
+ \newtheorem{notation}{Notation}
+ EndPreamble
+End
+
+
+Style Case
+ CopyStyle TheoremTemplate
+ LatexName case
+ LabelString "Case #:"
+ Preamble
+ \newtheorem{case}{Case}
+ EndPreamble
+End
+
+NoStyle TheoremTemplate
+
+
+