-# IEEEtran.cls can be obtained from the www.ieee.org website -- look for
-# the author information area. There is a LaTeX 2.09 IEEEtran.sty available
-# also but LyX doesn't support 2.09 stuff so don't get that one.
-
-Format 4
-Style Standard
- Margin Static
- LatexType Paragraph
- LatexName dummy
- ParIndent MM
- ParSkip 0.4
- Align Block
- AlignPossible Block, Left, Right, Center
- LabelType No_Label
-End
-
-
-
-##
-## stdlists
-##
-
-Input stdlists.inc
-
-# 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
- OptionalArgs 1
-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