lib/layouts/theorems-starred-equivalents.inc

   1 # Sets the order of the main theorem environments
   2 # Author: Richard Heck
   3
   4 Format 27
   5
   6 Style Theorem
   7         CopyStyle       Theorem*
   8         DependsOn       Theorem*
   9         Preamble
  10         EndPreamble
  11 End
  12
  13 Style Corollary
  14         CopyStyle       Corollary*
  15         DependsOn       Corollary*
  16         Preamble
  17         EndPreamble
  18 End
  19
  20 Style Lemma
  21         CopyStyle       Lemma*
  22         DependsOn       Lemma*
  23         Preamble
  24         EndPreamble
  25 End
  26
  27 Style Proposition
  28         CopyStyle       Proposition*
  29         DependsOn       Proposition*
  30         Preamble
  31         EndPreamble
  32 End
  33
  34 Style Conjecture
  35         CopyStyle       Conjecture*
  36         DependsOn       Conjecture*
  37         Preamble
  38         EndPreamble
  39 End
  40
  41 Style Definition
  42         CopyStyle       Definition*
  43         DependsOn       Definition*
  44         Preamble
  45         EndPreamble
  46 End
  47
  48 Style Example
  49         CopyStyle       Example*
  50         DependsOn       Example*
  51         Preamble
  52         EndPreamble
  53 End
  54
  55 Style Problem
  56         CopyStyle       Problem*
  57         DependsOn       Problem*
  58         Preamble
  59         EndPreamble
  60 End
  61
  62 Style Exercise
  63         CopyStyle       Exercise*
  64         DependsOn       Exercise*
  65         Preamble
  66         EndPreamble
  67 End
  68
  69 Style Remark
  70         CopyStyle       Remark*
  71         DependsOn       Remark*
  72         Preamble
  73         EndPreamble
  74 End
  75
  76 Style Claim
  77         CopyStyle       Claim*
  78         DependsOn       Claim*
  79         Preamble
  80         EndPreamble
  81 End