# - Case (regular only -- defined as an enumeration)
# We need separate counters for each theorem-like style.
-Format 21
+Format 34
Counter theorem
End
Counter corollary
Counter claim
End
-Format 11
-
Style Theorem
Category Theorem
Margin First_Dynamic