# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
-Format 74
+Format 82
Requires amsmath
# 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