# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
# Modularized Jan '08 by Richard Heck <rgheck@brown.edu>
-Format 6
+Format 11
Columns 1
Sides 2
PageStyle Headers
FontSize 8|9|10|11|12
End
+DefaultModule theorems-ams
Style Standard
Category MainText
EndPreamble
+Input stdfloats.inc
+Input stdcounters.inc
+Input stdinsets.inc
Input stdsections.inc
Input stdstarsections.inc
Input lyxmacros.inc
Input stdlayouts.inc
Input stdlists.inc
-Input stdinsets.inc
-Input stdfloats.inc
-Input stdcounters.inc
Input amsdefs.inc
NoStyle Chapter