-#\DeclareLyXModule{Theorems (AMS, Numbered by Type)}
+#\DeclareLyXModule{AMS Theorems (Numbered by Type)}
+#\DeclareCategory{Maths}
#DescriptionBegin
#Defines theorem environments and the proof environment using the extended
#AMS machinery. Both numbered and unnumbered types are provided. Contrary to the
#The numbering's scope is the whole document. For chapter- and section-wide numbering,
#use one of the 'within Sections'/'within Chapters' modules, respectively.
#DescriptionEnd
-#Excludes: theorems-std | theorems-starred | theorems-ams | theorems-bytype
+#Excludes: theorems-std | theorems-ams | theorems-bytype
# Original Author : David L. Johnson <dlj0@lehigh.edu>
# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
-# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
+# Modularized Jan 08 by Richard Kimberly Heck <rikiheck@lyx.org>
# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
+# Edited sep '22 by Udi Fogiel <udifoglle@gmail.com>
-Format 67
+Format 99
-Requires amsmath,amsthm
+Input theorems-counters-bytype.inc
+Input theorems.inc
+Input theorems-labels.inc
+Input theorems-proof.inc
-# We need separate counters for each theorem-like style.
-Counter theorem
-End
-Counter corollary
-End
-Counter lemma
-End
-Counter proposition
-End
-Counter conjecture
-End
-Counter fact
-End
-Counter definition
-End
-Counter example
-End
-Counter solution
-End
-Counter problem
-End
-Counter exercise
-End
-Counter remark
-End
-Counter claim
+Style Theorem
+ Preamble
+ \newcommand\lyx@reg@newtheorem[2]{\newtheorem{#1}{#2}}
+ \newcommand\lyx@newtheorem{\@ifstar{\newtheorem*}{\lyx@reg@newtheorem}}
+ \theoremstyle{plain}
+ \newtheorem{thm}{\protect\theoremname}
+ EndPreamble
+ Requires amsthm
End
-Input theorems-order.inc
-Input theorems-ams-bytype.inc
-Input theorems-starred.inc
-Input theorems-proof.inc
+Style Theorem*
+ Requires amsthm
+End