# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
+# Modularized Jan '08 by Richard Heck <rgheck@brown.edu>
-Format 5
+Format 8
Columns 1
Sides 2
PageStyle Headers
FontSize 8|9|10|11|12
End
+UseModule theorems-ams
Style Standard
+ Category MainText
Margin Static
LatexType Paragraph
LatexName dummy
Input stdsections.inc
+Input stdinsets.inc
Input numreport.inc