# Modified for LyX 12 by Jean-Marc Lasgouttes and MV.
-Format 43
+Format 49
Columns 1
Sides 1
PageStyle Plain
ParSep 0
Align Block
AlignPossible Block, Left
- LabelType Top_Environment
+ LabelType Above
LabelString "Abstract."
LabelFont
Series Bold
# Mathematics-like definitions:
Style Case
- Category Theorem
+ Category Reasoning
Margin First_Dynamic
LatexType Environment
LatexName case