- 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 Static
- LabelString "Theorem #."
-
-
- # standard font definition
- Font
- Shape Italic
- Size Normal
- EndFont
-
- # label font definition
- LabelFont
- Shape Up
- Series Bold
- EndFont
+ 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 Static
+ LabelString "Theorem #."
+
+
+ # standard font definition
+ Font
+ Shape Italic
+ Size Normal
+ EndFont
+
+ # label font definition
+ LabelFont
+ Shape Up
+ Series Bold
+ EndFont