# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
# Modularized Jan '08 by Richard Heck <rgheck@brown.edu>
-Format 7
+Format 11
Columns 1
Sides 2
PageStyle Headers
FontSize 8|9|10|11|12
End
+UseModule theorems-ams
Style Standard
Category MainText