lyx_mirror/lib/layouts/theorems-order.inc
Juergen Spitzmueller 1ed5aa3a3e Update layout formats
2019-08-12 14:54:52 +02:00

84 lines
624 B
HTML

# Sets the order of the main theorem environments
# Author: Richard Heck
Format 80
#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