lyx_mirror/lib/layouts/theorems-order.inc
Enrico Forestieri 35c0783bd3 Update layouts
2020-09-28 22:32:30 +02:00

84 lines
624 B
HTML

# Sets the order of the main theorem environments
# Author: Richard Heck
Format 84
#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 Solution
End
Style Solution*
End
Style Remark
End
Style Remark*
End
Style Claim
End
Style Claim*
End
Style Case
End
Style Proof
End