- Margin First_Dynamic
- LatexType Environment
- LatexName Theorem
- NextNoIndent 1
- LabelSep xx
- 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
- TextFont
- Shape Slanted
- Size Normal
- EndFont
-
- # label font definition
- LabelFont
- Series Bold
- EndFont
+ Category Reasoning
+ Margin First_Dynamic
+ LatexType Environment
+ LatexName Theorem
+ NextNoIndent 1
+ LabelSep xx
+ ParSkip 0.4
+ ItemSep 0.2
+ TopSep 0.7
+ BottomSep 0.7
+ ParSep 0.3
+ Align Block
+ AlignPossible Block, Left
+ LabelType Static
+ LabelString "Theorem #."
+ TextFont
+ Shape Slanted
+ Size Normal
+ EndFont
+ LabelFont
+ Series Bold
+ EndFont