# - Case (regular only -- defined as an enumeration)
# We need separate counters for each theorem-like style.
+Format 33
Counter theorem
End
Counter corollary
Counter claim
End
-Format 11
-
Style Theorem
Category Theorem
Margin First_Dynamic
Margin Static
LatexType Item_Environment
LatexName caseenv
- LabelType Static
+ LabelType Itemize
NextNoIndent 1
LeftMargin "Case ###."
ParSkip 0.0