-# Input general definitions
-
-Columns 1
-Sides 1
-MaxCounter Counter_Section
-SecNumDepth 3
-TocDepth 3
-
-ClassOptions
- FontSize 9|10|11|12
-End
-
-DefaultFont
- Family Roman
- Series Medium
- Shape Up
- Size Normal
- Color None
-EndFont
-
-# Standard style definition
-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
-
- # label font definition
- LabelFont
- Shape Italic
- EndFont
-End
-
-# Proof style declaration
-Style Proof
- CopyStyle TheoremTemplate
- LatexName proof
- LabelString "Proof:"
-End
-
-# Theorem-numbered style declaration
-Style Theorem
- CopyStyle TheoremTemplate
- LatexName thm
- LabelString "Theorem #:"
-
- Preamble
- \newtheorem{thm}{Theorem}
- EndPreamble
-End
-
-# Lemma-numbered style declaration
-Style Lemma
- CopyStyle TheoremTemplate
- LatexName lemma
- LabelString "Lemma #:"
-
- Preamble
- \newtheorem{lemma}{Lemma}
- EndPreamble
-End
-
-# Corollary-numbered style declaration
-Style Corollary
- CopyStyle TheoremTemplate
- LatexName cor
- LabelString "Corollary #:"
-
- Preamble
- \newtheorem{cor}{Corollary}
- EndPreamble
-End
-
-# Proposition-numbered style declaration
-Style Proposition
- CopyStyle TheoremTemplate
- LatexName prop
- LabelString "Proposition #:"
-
- Preamble
- \newtheorem{prop}{Proposition}
- EndPreamble
-End
-
-# Conjecture-numbered style declaration
-Style Conjecture
- CopyStyle TheoremTemplate
- LatexName conject
- LabelString "Conjecture #:"
-
- Preamble
- \newtheorem{conject}{Conjecture}
- EndPreamble
-End