# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's theorems-std.module)
-Format 45
+Format 60
# We need separate counters for each theorem-like style.
Counter theorem
End
Counter exercise
End
+Counter solution
+End
Counter remark
End
Counter claim