# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
# Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
-Format 6
+Format 7
Requires amsmath,amsthm
Name theorem
End
-Preamble
+AddToPreamble
\theoremstyle{plain}
EndPreamble
Input theorems-order.inc
-Input theorems.inc
+Input theorems-ams.inc
Input theorems-starred.inc
Input theorems-proof.inc