# Define Case as an enumeration environment
# with its own counters
-Format 35
+Format 44
Counter casei
LabelString "Case \arabic{casei}."
End
Style Case
- Category Theorem
+ Category Reasoning
CopyStyle Enumerate
LatexName casenv
LabelType Enumerate