# 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
# The environments defined are :
# - Case (by inclusion)
# We need separate counters for each theorem-like style.
-Format 82
+Format 89
Counter theorem
GuiName Theorem
+ LaTeXName thm
End
Counter corollary
GuiName Corollary
+ LaTeXName cor
End
Counter lemma
GuiName Lemma
+ LaTeXName lem
End
Counter proposition
GuiName Proposition
+ LaTeXName prop
End
Counter conjecture
GuiName Conjecture
End
Counter definition
GuiName Definition
+ LaTeXName defn
End
Counter example
GuiName Example
End
Counter exercise
GuiName Exercise
+ LaTeXName xca
End
Counter solution
GuiName Solution
+ LaTeXName sol
End
Counter remark
GuiName Remark
+ LaTeXName rem
End
Counter claim
GuiName Claim