# Author: Uwe Stöhr (uwestoehr@web.de)
-Format 69
+Format 82
Sides 1
Columns 1
End
Counter theorem
+ GuiName Theorem
Within section
End
Style Theorem
End
Counter remark
+ GuiName Remark
Within section
End
Style Remark
End
Counter corollary
+ GuiName Corollary
Within section
End
Style Corollary
End
Counter lemma
+ GuiName Lemma
Within section
End
Style Lemma
End
Counter proposition
+ GuiName Proposition
Within section
End
Style Proposition
End
Counter question
+ GuiName Question
Within section
End
Style Question
End
Counter claim
+ GuiName Claim
Within section
End
Style Claim
End
Counter conjecture
+ GuiName Conjecture
Within section
End
Style Conjecture
End
Counter prop
+ GuiName Prop(osition)
Within section
End
Counter appendix
+ GuiName Appendix
End
Style Appendix
LatexType Command