# Authors : Koji Yokota <yokota@res.otaru-uc.ac.jp>
# Uwe Stöhr <uwestoehr@web.de>
-Format 45
+Format 60
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