# Created by Jean-Marc Lasgouttes (Jean-Marc.Lasgouttes@inria.fr)
-Format 90
+Format 98
Columns 1
Sides 1
SecNumDepth 3
TocDepth 3
+AddToPreamble
+ % Save and disable \example as this might
+ % clash with theorems
+ \let\paperclassexample\example
+ \let\endpaperclassexample\endexample
+ \let\example\relax
+ % If theorems hasn't been loaded, restore example
+ \AtBeginDocument{%
+ \@ifundefined{example}{\let\example\paperclassexample}{}
+ }
+EndPreamble
+
Style Standard
Category MainText
Margin Static