lyx_mirror/lib/layouts/theorems-order.inc
Juergen Spitzmueller 88c1aaf444 Bump layout formats
2019-07-08 16:21:31 +02:00

84 lines
624 B
HTML

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