# 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 48
+Format 89
+OutlinerName thm "Definitions & Theorems"
Counter theorem
+ GuiName Theorem
+ LaTeXName thm
End
+
Style Theorem
Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName theorem
NextNoIndent 1
+ AddToToc thm
+ IsTocCaption 1
Argument 1
LabelString "Name/Title"
Tooltip "Alternative optional name or title"
+ IsTocCaption 1
EndArgument
LabelSep xx
ParIndent MMM
BabelPreamble
\addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='theorem'
End
Counter corollary
+ GuiName Corollary
End
Style Corollary
CopyStyle Theorem
BabelPreamble
\addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='corollary'
End
Counter lemma
+ GuiName Lemma
End
Style Lemma
CopyStyle Theorem
BabelPreamble
\addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='lemma'
End
Counter proposition
+ GuiName Proposition
End
Style Proposition
CopyStyle Theorem
BabelPreamble
\addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='proposition'
End
Counter prop
+ GuiName Prop(osition)
End
Style Prop
CopyStyle Theorem
LabelFont
Series Medium
EndFont
+ DocBookTag para
+ DocBookAttr role='proposition'
End
Counter conjecture
+ GuiName Conjecture
End
Style Conjecture
CopyStyle Theorem
BabelPreamble
\addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='conjecture'
End
Counter fact
+ GuiName Fact
End
Style Fact
CopyStyle Theorem
BabelPreamble
\addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='fact'
End
Counter definition
+ GuiName Definition
End
Style Definition
CopyStyle Theorem
BabelPreamble
\addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='definition'
End
Counter example
+ GuiName Example
End
Style Example
CopyStyle Conjecture
BabelPreamble
\addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
EndBabelPreamble
+ DocBookWrapperTag informalexample
+ DocBookTag para
+ DocBookAttr ""
End
Counter problem
+ GuiName Problem
End
Style Problem
CopyStyle Definition
BabelPreamble
\addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='problem'
End
Counter prob
+ GuiName Prob(lem)
Within chapter
End
# Prob does not copy a style to avoid preamble code
LabelFont
Series Bold
EndFont
+ AddToToc thm
+ IsTocCaption true
+ DocBookTag para
+ DocBookAttr role='problem'
End
Counter solution
+ GuiName Solution
End
Style Solution
CopyStyle Problem
BabelPreamble
\addto\captions$$lang{\renewcommand{\solutionname}{_(Solution)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='solution'
End
Mandatory 1
LabelString "Label of Problem"
Tooltip "Label of the corresponding problem"
+ IsTocCaption true
EndArgument
+ DocBookTag para
+ DocBookAttr role='solution'
End
Counter exercise
+ GuiName Exercise
End
Style Exercise
CopyStyle Definition
BabelPreamble
\addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='exercise'
End
Counter remark
+ GuiName Remark
End
Style Remark
CopyStyle Conjecture
BabelPreamble
\addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
EndBabelPreamble
+ DocBookTag note
+ DocBookItemTag para
End
BabelPreamble
\addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='claim'
+ DocBookItemTag ""
End
Counter case
+ GuiName Case
End
Style Case
CopyStyle Remark
BabelPreamble
\addto\captions$$lang{\renewcommand{\casename}{_(Case)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='case'
End
Counter property
+ GuiName Property
End
Style Property
CopyStyle Claim
BabelPreamble
\addto\captions$$lang{\renewcommand{\propertyname}{_(Property)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='property'
End
Counter question
+ GuiName Question
End
Style Question
CopyStyle Claim
BabelPreamble
\addto\captions$$lang{\renewcommand{\questionname}{_(Question)}}
EndBabelPreamble
+ DocBookTag para
+ DocBookAttr role='question'
End
Counter note
+ GuiName Note
End
Style Note
CopyStyle Claim
BabelPreamble
\addto\captions$$lang{\renewcommand{\notename}{_(Note)}}
EndBabelPreamble
+ DocBookTag note
+ DocBookItemTag para
End