#\DeclareLyXModule{Standard Theorems (Numbered by Type within Sections)}
#\DeclareCategory{Maths}
#DescriptionBegin
#Defines some theorem environments for use with non-AMS classes. Contrary to the
#plain Theorem module, the different theorem types provided here each have a separate
#counter (e.g., theorem 1, theorem 2, lemma 1, proposition 1, theorem 3, lemma 2, ...,
#as opposed to theorem 1, theorem 2, lemma 3, proposition 4, ...). The numbering is reset
#at each section start.
#DescriptionEnd
#Requires: theorems-bytype | theorems-ams-bytype
#Excludes: theorems-std | theorems-ams | theorems-starred | theorems-chap | theorems-chap-bytype

# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's various modules)

Format 84

# We need separate counters for each theorem-like style.
Counter theorem
	GuiName Theorem
	Within         section
End
Counter corollary
	GuiName Corollary
	Within         section
End
Counter lemma
	GuiName Lemma
	Within         section
End
Counter proposition
	GuiName Proposition
	Within         section
End
Counter conjecture
	GuiName Conjecture
	Within         section
End
Counter fact
	GuiName Fact
	Within         section
End
Counter definition
	GuiName Definition
	Within         section
End
Counter example
	GuiName Example
	Within         section
End
Counter problem
	GuiName Problem
	Within         section
End
Counter exercise
	GuiName Exercise
	Within         section
End
Counter remark
	GuiName Remark
	Within         section
End
Counter claim
	GuiName Claim
	Within         section
End

Style Theorem
	Preamble
	  \theoremstyle{plain}
	  \newtheorem{thm}{\protect\theoremname}[section]
	EndPreamble
End


Style Corollary
	Preamble
	  \theoremstyle{plain}
	  \newtheorem{cor}{\protect\corollaryname}[section]
	EndPreamble
End


Style Lemma
	Preamble
	  \theoremstyle{plain}
	  \newtheorem{lem}{\protect\lemmaname}[section]
	EndPreamble
End


Style Proposition
	Preamble
	  \theoremstyle{plain}
	  \newtheorem{prop}{\protect\propositionname}[section]
	EndPreamble
End


Style Conjecture
	Preamble
	  \theoremstyle{plain}
	  \newtheorem{conjecture}{\protect\conjecturename}[section]
	EndPreamble
End


Style Fact
	Preamble
	  \theoremstyle{plain}
	  \newtheorem{fact}{\protect\factname}[section]
	EndPreamble
End


Style Definition
	Preamble
	  \theoremstyle{definition}
	  \newtheorem{defn}{\protect\definitionname}[section]
	EndPreamble
End


Style Example
	Preamble
	  \theoremstyle{definition}
	  \newtheorem{example}{\protect\examplename}[section]
	EndPreamble
End


Style Problem
	Preamble
	  \theoremstyle{definition}
	  \newtheorem{problem}{\protect\problemname}[section]
	EndPreamble
End


Style Exercise
	Preamble
	  \theoremstyle{definition}
	  \newtheorem{xca}{\protect\exercisename}[section]
	EndPreamble
End


Style Remark
	Preamble
	  \theoremstyle{remark}
	  \newtheorem{rem}{\protect\remarkname}[section]
	EndPreamble
End


Style Claim
	Preamble
	  \theoremstyle{remark}
	  \newtheorem{claim}{\protect\claimname}[section]
	EndPreamble
End