#DescriptionEnd
#Excludes: theorems-ams | theorems-starred
-# Author: Richard Heck <rgheck@comcast.net>
+# Author: Richard Kimberly Heck <rikiheck@lyx.org>
-Format 79
+Format 95
Counter theorem
+ GuiName Theorem
+ LaTeXName thm
End
Input theorems.inc