# To do: Define class specific options.
-Format 8
+Format 35
Columns 1
Sides 1
ParSep 0.3
Align Block
AlignPossible Block, Left
- LabelType Static
+ LabelType Itemize
LabelString "_/"
Requires pifont
End
ParSep 0.3
Align Block
AlignPossible Block, Left
- LabelType Static
+ LabelType Itemize
LabelString "><"
Requires pifont
End
Input stdcounters.inc
Input stdinsets.inc
Input lyxmacros.inc
+Input theorems-refprefix.inc