# To do: Define class specific options.
-Format 6
+Format 35
Columns 1
Sides 1
ParSep 0.3
Align Block
AlignPossible Block, Left
- LabelType Static
+ LabelType Itemize
LabelString "_/"
- Preamble
- \usepackage{pifont}
- EndPreamble
+ Requires pifont
End
Style CrossList
ParSep 0.3
Align Block
AlignPossible Block, Left
- LabelType Static
+ LabelType Itemize
LabelString "><"
- Preamble
- \usepackage{pifont}
- EndPreamble
+ Requires pifont
End
Input stdlayouts.inc
Input stdfloats.inc
Input stdcounters.inc
+Input stdinsets.inc
Input lyxmacros.inc
+Input theorems-refprefix.inc