lib/layouts/theorems-labels.inc

   1 # Independent label counters for "Numbered By Type" theorem modules
   2
   3 ModifyStyle Corollary
   4         LabelString           "Corollary \thecorollary."
   5         LabelCounter          corollary
   6 End
   7
   8
   9 ModifyStyle Lemma
  10         LabelString           "Lemma \thelemma."
  11         LabelCounter          lemma
  12 End
  13
  14
  15 ModifyStyle Proposition
  16         LabelString           "Proposition \theproposition."
  17         LabelCounter          proposition
  18 End
  19
  20
  21 ModifyStyle Conjecture
  22         LabelString           "Conjecture \theconjecture."
  23         LabelCounter          conjecture
  24 End
  25
  26
  27 ModifyStyle Fact
  28         LabelString           "Fact \thefact."
  29         LabelCounter          fact
  30 End
  31
  32
  33 ModifyStyle Definition
  34         LabelString           "Definition \thedefinition."
  35         LabelCounter          definition
  36 End
  37
  38
  39 ModifyStyle Example
  40         LabelString           "Example \theexample."
  41         LabelCounter          example
  42 End
  43
  44
  45 ModifyStyle Problem
  46         LabelString           "Problem \theproblem."
  47         LabelCounter          problem
  48 End
  49
  50
  51 ModifyStyle Exercise
  52         LabelString           "Exercise \theexercise."
  53         LabelCounter          exercise
  54 End
  55
  56
  57 ModifyStyle Solution
  58         LabelString           "Solution \thesolution."
  59         LabelCounter          solution
  60 End
  61
  62
  63 ModifyStyle Remark
  64         LabelString           "Remark \theremark."
  65         LabelCounter          remark
  66 End
  67
  68
  69 ModifyStyle Claim
  70         LabelString           "Claim \theclaim."
  71         LabelCounter          claim
  72 End
  73
  74 ModifyStyle Criterion
  75         LabelString           "Criterion \thecriterion."
  76         LabelCounter          criterion
  77 End
  78
  79 ModifyStyle Algorithm
  80         LabelString           "Algorithm \thealgorithm."
  81         LabelCounter          algorithm
  82 End
  83
  84
  85 ModifyStyle Axiom
  86         LabelString           "Axiom \theaxiom."
  87         LabelCounter          axiom
  88 End
  89
  90
  91 ModifyStyle Condition
  92         LabelString           "Condition \thecondition."
  93         LabelCounter          condition
  94 End
  95
  96
  97 ModifyStyle Note
  98         LabelString           "Note \thenote."
  99         LabelCounter          note
 100 End
 101
 102
 103 ModifyStyle Notation
 104         LabelString           "Notation \thenotation."
 105         LabelCounter          notation
 106 End
 107
 108
 109 ModifyStyle Summary
 110         LabelString           "Summary \thesummary."
 111         LabelCounter          summary
 112 End
 113
 114
 115 ModifyStyle Acknowledgement
 116         LabelString           "Acknowledgement \theacknowledgement."
 117         LabelCounter          acknowledgement
 118 End
 119
 120
 121 ModifyStyle Conclusion
 122         LabelString           "Conclusion \theconclusion."
 123         LabelCounter          conclusion
 124 End
 125
 126
 127 ModifyStyle Assumption
 128         LabelString           "Assumption \theassumption."
 129         LabelCounter          assumption
 130 End
 131
 132
 133 ModifyStyle Question
 134         LabelString           "Question \thequestion."
 135         LabelCounter          question
 136 End