# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
# Hacked June '09 by Paul Rubin <rubin@msu.edu> to use separate counters
-Format 28
+Format 63
Requires amsmath,amsthm
End
Counter example
End
+Counter solution
+End
Counter problem
End
Counter exercise