# - Conclusion
# - Fact
# - Assumption
-# - Case (regular only -- defined as an enumeration)
Style Criterion
CopyStyle Theorem
\newtheorem*{assumption*}{Assumption}
EndPreamble
End
-
-
-# Define Case as an enumeration environment
-Style Case
- CopyStyle Enumerate
- LatexName caseenv
- LabelType Static
- LeftMargin "MMMMMMN"
- LabelString "Case #:"
- Preamble
- \newcounter{casectr}
- \newenvironment{caseenv}
-{\begin{list}{\bfseries\upshape Case \arabic{casectr}:}{}\setcounter{casectr}{0}\usecounter{casectr}}
-{\end{list}}
- EndPreamble
-End
-