# Sets the order of the main theorem environments
# Author: Richard Heck
-Format 27
+Format 65
Style Theorem
CopyStyle Theorem*
EndPreamble
End
+Style Solution
+ CopyStyle Solution*
+ DependsOn Solution*
+ Preamble
+ EndPreamble
+End
+
Style Problem
CopyStyle Problem*
DependsOn Problem*