mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-11-07 12:32:26 +00:00
78 lines
582 B
PHP
78 lines
582 B
PHP
|
# Sets the order of the main theorem environments
|
||
|
|
# Author: Richard Heck
|
||
|
|
|
||
|
|
Format 6
|
||
|
|
|
||
|
|
#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
|