# - Proof
# - Case (regular only -- defined as an enumeration)
-Format 7
+Format 11
Style Theorem
Category Theorem
# Define Case as an enumeration environment
Style Case
Category Theorem
- CopyStyle Enumerate
+ Margin Static
+ LatexType Item_Environment
LatexName caseenv
LabelType Static
+ NextNoIndent 1
LeftMargin "Case ###."
+ ParSkip 0.0
+ ItemSep 0.2
+ TopSep 0.7
+ BottomSep 0.7
+ ParSep 0.3
+ Align Block
+ AlignPossible Block, Left
+ LabelSep xx
LabelString "Case #."
LabelFont
Series Medium