#\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 Heck <rgheck@comcast.net>

Format 84

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