# Thomas Hartkens <thomas@hartkens.de>
# Input general definitions
-Format 92
+Format 93
Input stdfloats.inc
Input stdcounters.inc
Input stdinsets.inc
Shape Italic
Color textlabel1
EndFont
+ AutoNests
+ Standard,Itemize,Enumerate,Description,Labeling,Bibliography,Quotation,Quote,Verse,Corollary,Definition,Definitions,
+ Example,Examples,Fact,Lemma,Proof,Theorem,LyX-Code
+ EndAutoNests
End
# Name und Titel des Absenders