# This file provides theorem environments without adding preamble code or
-# requiring packages. THis is useful for classes that define their own theorems
+# requiring packages. This is useful for classes that define their own theorems
# like svjour3 or ijmpc.
# Author: Uwe Stöhr <uwestoehr@web.de>
# - Note
-Format 42
+Format 58
Counter theorem
End
Style Theorem
- Category Theorem
+ Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName theorem
ParSep 0.3
Align Block
AlignPossible Left
- LabelType Counter
+ LabelType Static
LabelCounter theorem
LabelString "Theorem \thetheorem."
Font
LatexType Environment
LatexName prob
Margin First_Dynamic
- LabelType Counter
+ LabelType Static
LabelCounter prob
LabelString "\theprob."
RefPrefix pro