# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's theorems-std.module)
-Format 29
+Format 45
# We need separate counters for each theorem-like style.
Counter theorem
\providecommand{\proofname}{Proof}
\fi
EndPreamble
+# No LangPreamble or BabelPreamble, since babel knows \proofname already.
End