#\DeclareLyXModule{Named Theorems}
#DescriptionBegin
# Facilitates the use of named theorems. The name of the theorem
-# goes into the 'Short Title' inset.
+# goes into the 'Additional Theorem Text' argument.
#DescriptionEnd
#Requires: theorems-ams | theorems-starred
#Original Author: John Perry
-Format 40
+Format 54
Style "Named Theorem"
CopyStyle Theorem*
- Category Theorem
+ Category Reasoning
LabelString "Named Theorem."
LatexName namedthm
Preamble