#% Do not delete the line below; configure depends on this
#\DeclareLyXModule{Standard Theorems (Nameable)}
-#\DeclareCategory{Theorems}
+#\DeclareCategory{Maths}
#DescriptionBegin
# Facilitates the use of named theorems. The name of the theorem
# goes into the 'Additional Theorem Text' argument.
#DescriptionEnd
#Original Author: John Perry
-Format 72
+Format 82
ProvideStyle Theorem*
Category Reasoning