2008-01-10 07:19:07 +00:00
|
|
|
# Sets the order of the main theorem environments
|
|
|
|
# Author: Richard Heck
|
|
|
|
|
2011-01-12 23:20:07 +00:00
|
|
|
Format 31
|
2008-01-10 07:19:07 +00:00
|
|
|
|
|
|
|
#Get the order right
|
|
|
|
Style Theorem
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Theorem*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Corollary
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Corollary*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Lemma
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Lemma*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Proposition
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Proposition*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Conjecture
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Conjecture*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Definition
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Definition*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Example
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Example*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Problem
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Problem*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Exercise
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Exercise*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Remark
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Remark*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Claim
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Claim*
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Case
|
|
|
|
End
|
|
|
|
|
|
|
|
Style Proof
|
|
|
|
End
|