\\lyxformat 345
\\begin_document
\\begin_header
-\\textclass amsart
+\\textclass article
+\\begin_preamble
+\\renewcommand{\\descriptionlabel}[1]{\\hspace\\labelsep\\upshape\\bfseries #1:}
+\\renewenvironment{description}{\\list{}{%
+ \\setlength{\\itemsep}{-2pt}
+ \\advance\\leftmargini6\\p@ \\itemindent-12\\p@
+ \\labelwidth\\z@ \\let\\makelabel\\descriptionlabel}%
+}{
+ \\endlist
+}
+\\end_preamble
\\use_default_options false
-\\begin_modules
-theorems-ams
-\\end_modules
\\language english
\\inputencoding auto
\\font_roman default
\\graphics default
\\paperfontsize default
+\\spacing single
\\use_hyperref false
\\papersize default
\\use_geometry true