# Authors : Koji Yokota <yokota@res.otaru-uc.ac.jp>
# Uwe Stöhr <uwestoehr@web.de>
-Format 45
+Format 80
Input stdclass.inc
Input theorems-ams.module
Input theorems-bytype.module
EndArgument
End
+Style Theorem
+ LatexName theorem
+ Preamble
+ \newtheorem{theorem}{Theorem}
+ EndPreamble
+End
+
Style Algorithm
LatexName algorithm
Preamble
LatexType Command
LatexName QTR{caption}
LabelCounter caption
- LabelString "Caption: "
+ LabelString "Caption:"
LeftMargin "Caption: "
Align Center
End