lib/layouts/theorems-starred.inc

   1 # Original Author : David L. Johnson <dlj0@lehigh.edu>
   2 # Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
   3 # modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
   4 # Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
   5 # Modularized Jan 08 by Richard Heck <rgheck@comcast.net>
   6
   7 # The starred environnements defined are :
   8 # - Theorem
   9 # - Corollary
  10 # - Lemma
  11 # - Proposition
  12 # - Conjecture
  13 # - Definition
  14 # - Example
  15 # - Problem
  16 # - Exercise
  17 # - Remark
  18 # - Claim
  19 # - Proof
  20
  21 Format 6
  22
  23 Style Theorem*
  24         CopyStyle             Theorem
  25         LatexName             thm*
  26         LabelType             Static
  27         LabelString           "Theorem."
  28         Preamble
  29           \theoremstyle{plain}
  30           \newtheorem*{thm*}{Theorem}
  31         EndPreamble
  32 End
  33
  34
  35 Style Corollary*
  36         CopyStyle             Theorem*
  37         LatexName             cor*
  38         LabelString           "Corollary."
  39         Preamble
  40           \theoremstyle{plain}
  41           \newtheorem*{cor*}{Corollary}
  42         EndPreamble
  43 End
  44
  45
  46 Style Lemma*
  47         CopyStyle             Theorem*
  48         LatexName             lem*
  49         LabelString           "Lemma."
  50         Preamble
  51           \theoremstyle{plain}
  52           \newtheorem*{lem*}{Lemma}
  53         EndPreamble
  54 End
  55
  56
  57 Style Proposition*
  58         CopyStyle             Theorem*
  59         LatexName             prop*
  60         LabelString           "Proposition."
  61         Preamble
  62           \theoremstyle{plain}
  63           \newtheorem*{prop*}{Proposition}
  64         EndPreamble
  65 End
  66
  67
  68 Style Conjecture*
  69         CopyStyle             Theorem*
  70         LatexName             conjecture*
  71         LabelString           "Conjecture."
  72         Preamble
  73           \theoremstyle{plain}
  74           \newtheorem*{conjecture*}{Conjecture}
  75         EndPreamble
  76 End
  77
  78
  79 Style Fact*
  80         CopyStyle             Theorem*
  81         LatexName             fact*
  82         LabelString           "Fact."
  83         Preamble
  84           \theoremstyle{plain}
  85           \newtheorem*{fact*}{Fact}
  86         EndPreamble
  87 End
  88
  89
  90 Style Definition*
  91         CopyStyle             Definition
  92         LatexName             defn*
  93         LabelType             Static
  94         LabelString           "Definition."
  95         Preamble
  96          \theoremstyle{definition}
  97          \newtheorem*{defn*}{Definition}
  98         EndPreamble
  99 End
 100
 101
 102 Style Example*
 103         CopyStyle             Definition*
 104         LatexName             example*
 105         LabelString           "Example."
 106         Preamble
 107           \theoremstyle{definition}
 108           \newtheorem*{example*}{Example}
 109         EndPreamble
 110 End
 111
 112
 113 Style Problem*
 114         CopyStyle             Definition*
 115         LatexName             problem*
 116         LabelString           "Problem."
 117         Preamble
 118           \theoremstyle{definition}
 119           \newtheorem*{problem*}{Problem}
 120         EndPreamble
 121 End
 122
 123
 124 Style Exercise*
 125         CopyStyle             Definition*
 126         LatexName             xca*
 127         LabelString           "Exercise."
 128         Preamble
 129           \theoremstyle{definition}
 130           \newtheorem*{xca*}{Exercise}
 131         EndPreamble
 132 End
 133
 134
 135 Style Remark*
 136         CopyStyle             Remark
 137         LatexName             rem*
 138         LabelType             Static
 139         LabelString           "Remark."
 140         Preamble
 141           \theoremstyle{remark}
 142           \newtheorem*{rem*}{Remark}
 143         EndPreamble
 144 End
 145
 146
 147 Style Claim*
 148         CopyStyle             Remark*
 149         LatexName             claim*
 150         LabelString           "Claim."
 151         Preamble
 152           \theoremstyle{remark}
 153           \newtheorem*{claim*}{Claim}
 154         EndPreamble
 155 End
 156