Format 31
Input stdclass.inc
+Input theorems-ams.module
Input theorems-bytype.module
Input theorems-ams-extended-bytype.module
NoCounter paragraph
NoStyle Subparagraph
NoCounter subparagraph
-NoStyle SpecialSection
NoStyle Part*
NoStyle Chapter*
NoStyle Section*
NoStyle Subsubsection*
NoStyle Paragraph*
NoStyle Subparagraph*
-NoStyle SpecialSection*
NoStyle List
NoStyle LyX-Code
NoStyle Verse