#DescriptionEnd
#Excludes: theorems-std | theorems-ams | theorems-starred | theorems-ams-bytype
-# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Heck's theorems-std.module)
+# Author: Paul Rubin <rubin@msu.edu> (hacked from Richard Kimberly Heck's theorems-std.module)
Format 89