# 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
-Format 82
+Format 90
Requires amsmath
# - Assumption
# - Question
-# We need separate counters for each theorem-like style.
-Counter criterion
- GuiName Criterion
-End
-Counter algorithm
- GuiName Algorithm
-End
-Counter axiom
- GuiName Axiom
-End
-Counter condition
- GuiName Condition
-End
-Counter note
- GuiName Note
-End
-Counter notation
- GuiName Notation
-End
-Counter summary
- GuiName Summary
-End
-Counter acknowledgement
- GuiName Acknowledgement
-End
-Counter conclusion
- GuiName Conclusion
-End
-Counter assumption
- GuiName Assumption
-End
-Counter question
- GuiName Question
-End
-
+Input theorems-counters-extended-bytype.inc
Style Criterion
CopyStyle Theorem