#\DeclareLyXModule{Standard Theorems (Unnumbered)}
#\DeclareCategory{Maths}
#DescriptionBegin
#Defines only unnumbered theorem environments, and the proof environment, using 
#the extended AMS machinery. 
#DescriptionEnd
#Excludes: theorems-std | theorems-ams

# Author: Richard Kimberly Heck <rikiheck@lyx.org>

Format 100

Input theorems-order.inc
Input theorems-starred.inc
Input theorems-starred-equivalents.inc
Input theorems-proof.inc