]> git.lyx.org Git - lyx.git/blobdiff - lib/layouts/theorems-std.module
Question environments, from Russ Woodroofe.
[lyx.git] / lib / layouts / theorems-std.module
index 23cfcd68c415f183ca0d24483bda18f7eb432dc8..5ba74aa1e558f715482d06d463c49f71b6177d53 100644 (file)
@@ -8,10 +8,9 @@
 
 # Author: Richard Heck <rgheck@comcast.net>
 
-Format 7
+Format 11
 
-Counter
-       Name                 theorem
+Counter theorem
 End
 
 Input theorems.inc
@@ -20,16 +19,18 @@ Input theorems-proof.inc
 #This is just a hacked version of the AMS proof environment
 Style Proof
   Preamble
-    \newenvironment{proof}[1][\proofname]{\par
-      \normalfont\topsep6\p@\@plus6\p@\relax
-      \trivlist
-      \itemindent\parindent
-      \item[\hskip\labelsep
-            \scshape
-        #1]\ignorespaces
-    }{%
-      \endtrivlist\@endpefalse
-    }
-    \providecommand{\proofname}{Proof}
+    \ifx\proof\undefined\
+      \newenvironment{proof}[1][\proofname]{\par
+        \normalfont\topsep6\p@\@plus6\p@\relax
+        \trivlist
+        \itemindent\parindent
+        \item[\hskip\labelsep
+              \scshape
+          #1]\ignorespaces
+      }{%
+        \endtrivlist\@endpefalse
+      }
+      \providecommand{\proofname}{Proof}
+    \fi
   EndPreamble
 End
\ No newline at end of file