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