# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's theorems-std.module)
-Format 27
+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
\providecommand{\proofname}{Proof}
\fi
EndPreamble
+# No LangPreamble or BabelPreamble, since babel knows \proofname already.
End