# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's theorems-std.module)
-Format 11
+Format 34
# We need separate counters for each theorem-like style.
Counter theorem
\providecommand{\proofname}{Proof}
\fi
EndPreamble
-End
\ No newline at end of file
+End