2008-01-10 07:19:07 +00:00
|
|
|
# Sets the order of the main theorem environments
|
|
|
|
# Author: Richard Heck
|
|
|
|
|
2019-03-12 13:14:43 +00:00
|
|
|
Format 71
|
2008-01-10 07:19:07 +00:00
|
|
|
|
|
|
|
Style Theorem
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Theorem*
|
|
|
|
DependsOn Theorem*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Corollary
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Corollary*
|
|
|
|
DependsOn Corollary*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Lemma
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Lemma*
|
|
|
|
DependsOn Lemma*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Proposition
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Proposition*
|
|
|
|
DependsOn Proposition*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Conjecture
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Conjecture*
|
|
|
|
DependsOn Conjecture*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Definition
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Definition*
|
|
|
|
DependsOn Definition*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Example
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Example*
|
|
|
|
DependsOn Example*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|
|
|
|
|
2015-11-18 01:36:49 +00:00
|
|
|
Style Solution
|
|
|
|
CopyStyle Solution*
|
|
|
|
DependsOn Solution*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
|
|
|
End
|
|
|
|
|
2008-01-10 07:19:07 +00:00
|
|
|
Style Problem
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Problem*
|
|
|
|
DependsOn Problem*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Exercise
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Exercise*
|
|
|
|
DependsOn Exercise*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Remark
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Remark*
|
|
|
|
DependsOn Remark*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|
|
|
|
|
|
|
|
Style Claim
|
2008-05-09 08:01:37 +00:00
|
|
|
CopyStyle Claim*
|
|
|
|
DependsOn Claim*
|
|
|
|
Preamble
|
|
|
|
EndPreamble
|
2008-01-10 07:19:07 +00:00
|
|
|
End
|