#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)
+# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Kimberly Heck's various modules)
-Format 89
+Format 95
+
+Input theorems-counters-bytype.inc
-# We need separate counters for each theorem-like style.
Counter theorem
- GuiName Theorem
- Within section
+ Within section
End
Counter corollary
- GuiName Corollary
- Within section
+ Within section
End
Counter lemma
- GuiName Lemma
- Within section
+ Within section
End
Counter proposition
- GuiName Proposition
- Within section
+ Within section
End
Counter conjecture
- GuiName Conjecture
- Within section
+ Within section
End
Counter fact
- GuiName Fact
- Within section
+ Within section
End
Counter definition
- GuiName Definition
- Within section
+ Within section
End
Counter example
- GuiName Example
- Within section
+ Within section
End
Counter problem
- GuiName Problem
- Within section
+ Within section
End
Counter exercise
- GuiName Exercise
- Within section
+ Within section
End
Counter remark
- GuiName Remark
- Within section
+ Within section
End
Counter claim
- GuiName Claim
- Within section
+ Within section
End
Style Theorem