# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
# Chapter dependence added Oct '16 by Andrew Parsloe <aparsloe@clear.net.nz>
-Format 78
+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