# - Proof
# - Case (regular only -- defined as an enumeration)
-Format 26
+Format 27
Style Theorem
Category Theorem
BabelPreamble
\addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
EndBabelPreamble
+ RefPrefix OFF
End
+
+Input theorems-refprefix.inc