# - Proof
# - Case (by inclusion)
-Format 63
+Format 82
OutlinerName thm "Definitions & Theorems"
Margin First_Dynamic
LatexType Environment
LatexName thm
- NextNoIndent 1
+ NextNoIndent 0
ResetArgs 1
AddToToc thm
IsTocCaption 1
BabelPreamble
\addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
EndBabelPreamble
+ DocBookTag note
+ DocBookItemTag para
End