# Modified for LyX 12 by Jean-Marc Lasgouttes and MV.
-Format 19
+Format 27
Columns 1
Sides 1
PageStyle Plain
Series Bold
Size Largest
EndFont
+ HTMLTitle true
End
Input stdfloats.inc
Input stdcounters.inc
Input stdinsets.inc
+Input theorems-refprefix.inc