+# Define Case as an enumeration environment
+Style Case
+ Category Theorem
+ CopyStyle Enumerate
+ LatexName caseenv
+ LabelType Static
+ LeftMargin "Case ###."
+ LabelString "Case #."
+ LabelFont
+ Series Medium
+ Shape Italic
+ EndFont
+ Preamble
+ \newcounter{casectr}
+ \newenvironment{caseenv}
+ {\begin{list}{{\itshape\ \protect\casename} \arabic{casectr}.}{%
+ \setlength{\leftmargin}{\labelwidth}
+ \addtolength{\leftmargin}{\parskip}
+ \setlength{\itemindent}{\listparindent}
+ \setlength{\itemsep}{\medskipamount}
+ \setlength{\topsep}{\itemsep}}
+ \setcounter{casectr}{0}
+ \usecounter{casectr}}
+ {\end{list}}
+ EndPreamble
+ LangPreamble
+ \providecommand{\casename}{_(Case)}
+ EndLangPreamble
+ BabelPreamble
+ \addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
+ EndBabelPreamble
+ RefPrefix OFF
+End
+
+Input theorems-refprefix.inc