lib/layouts/theorems.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 environments defined are :
   8 # - Theorem
   9 # - Corollary
  10 # - Lemma
  11 # - Proposition
  12 # - Conjecture
  13 # - Fact
  14 # - Definition
  15 # - Example
  16 # - Problem
  17 # - Exercise
  18 # - Remark
  19 # - Claim
  20 # - Case (by inclusion)
  21
  22 Format 49
  23
  24 Style Theorem
  25         Category              Reasoning
  26         Margin                First_Dynamic
  27         LatexType             Environment
  28         LatexName             thm
  29         NextNoIndent          1
  30         ResetArgs             1
  31         Argument 1
  32                 LabelString    "Additional Theorem Text"
  33                 Tooltip        "Additional text appended to the theorem header"
  34         EndArgument
  35         LabelSep              xx
  36         ParIndent             MMM
  37         ParSkip               0.4
  38         ItemSep               0.2
  39         TopSep                0.7
  40         BottomSep             0.7
  41         ParSep                0.3
  42         Align                 Block
  43         AlignPossible         Left
  44         LabelType             Static
  45         LabelCounter          theorem
  46         LabelString           "Theorem \thetheorem."
  47         Font
  48           Shape               Italic
  49           Size                Normal
  50         EndFont
  51         LabelFont
  52           Shape               Up
  53           Series              Bold
  54         EndFont
  55         Preamble
  56                 \theoremstyle{plain}
  57                 \newtheorem{thm}{\protect\theoremname}
  58         EndPreamble
  59         LangPreamble
  60                 \providecommand{\theoremname}{_(Theorem)}
  61         EndLangPreamble
  62         BabelPreamble
  63                 \addto\captions$$lang{\renewcommand{\theoremname}{_(Theorem)}}
  64         EndBabelPreamble
  65         Requires              amsthm
  66 End
  67
  68
  69 Style Corollary
  70         CopyStyle             Theorem
  71         DependsOn             Theorem
  72         LatexName             cor
  73         LabelString           "Corollary \thetheorem."
  74         Preamble
  75                 \theoremstyle{plain}
  76                 \newtheorem{cor}[thm]{\protect\corollaryname}
  77         EndPreamble
  78         LangPreamble
  79                 \providecommand{\corollaryname}{_(Corollary)}
  80         EndLangPreamble
  81         BabelPreamble
  82                 \addto\captions$$lang{\renewcommand{\corollaryname}{_(Corollary)}}
  83         EndBabelPreamble
  84 End
  85
  86
  87 Style Lemma
  88         CopyStyle             Theorem
  89         DependsOn             Theorem
  90         LatexName             lem
  91         LabelString           "Lemma \thetheorem."
  92         Preamble
  93                 \theoremstyle{plain}
  94                 \newtheorem{lem}[thm]{\protect\lemmaname}
  95         EndPreamble
  96         LangPreamble
  97                 \providecommand{\lemmaname}{_(Lemma)}
  98         EndLangPreamble
  99         BabelPreamble
 100                 \addto\captions$$lang{\renewcommand{\lemmaname}{_(Lemma)}}
 101         EndBabelPreamble
 102 End
 103
 104
 105 Style Proposition
 106         CopyStyle             Theorem
 107         DependsOn             Theorem
 108         LatexName             prop
 109         LabelString           "Proposition \thetheorem."
 110         Preamble
 111                 \theoremstyle{plain}
 112                 \newtheorem{prop}[thm]{\protect\propositionname}
 113         EndPreamble
 114         LangPreamble
 115                 \providecommand{\propositionname}{_(Proposition)}
 116         EndLangPreamble
 117         BabelPreamble
 118                 \addto\captions$$lang{\renewcommand{\propositionname}{_(Proposition)}}
 119         EndBabelPreamble
 120 End
 121
 122
 123 Style Conjecture
 124         CopyStyle             Theorem
 125         DependsOn             Theorem
 126         LatexName             conjecture
 127         LabelString           "Conjecture \thetheorem."
 128         Preamble
 129                 \theoremstyle{plain}
 130                 \newtheorem{conjecture}[thm]{\protect\conjecturename}
 131         EndPreamble
 132         LangPreamble
 133                 \providecommand{\conjecturename}{_(Conjecture)}
 134         EndLangPreamble
 135         BabelPreamble
 136                 \addto\captions$$lang{\renewcommand{\conjecturename}{_(Conjecture)}}
 137         EndBabelPreamble
 138 End
 139
 140
 141 Style Fact
 142         CopyStyle             Theorem
 143         DependsOn             Theorem
 144         LatexName             fact
 145         LabelString           "Fact \thetheorem."
 146         Preamble
 147                 \theoremstyle{plain}
 148                 \newtheorem{fact}[thm]{\protect\factname}
 149         EndPreamble
 150         LangPreamble
 151                 \providecommand{\factname}{_(Fact)}
 152         EndLangPreamble
 153         BabelPreamble
 154                 \addto\captions$$lang{\renewcommand{\factname}{_(Fact)}}
 155         EndBabelPreamble
 156 End
 157
 158
 159 Style Definition
 160         CopyStyle             Theorem
 161         DependsOn             Theorem
 162         LatexName             defn
 163         LabelString           "Definition \thetheorem."
 164         Font
 165           Shape               Up
 166         EndFont
 167         LabelFont
 168           Shape               Up
 169           Series              Bold
 170         EndFont
 171         Preamble
 172                 \theoremstyle{definition}
 173                 \newtheorem{defn}[thm]{\protect\definitionname}
 174         EndPreamble
 175         LangPreamble
 176                 \providecommand{\definitionname}{_(Definition)}
 177         EndLangPreamble
 178         BabelPreamble
 179                 \addto\captions$$lang{\renewcommand{\definitionname}{_(Definition)}}
 180         EndBabelPreamble
 181 End
 182
 183
 184 Style Example
 185         CopyStyle             Definition
 186         LatexName             example
 187         LabelString           "Example \thetheorem."
 188         Preamble
 189                 \theoremstyle{definition}
 190                 \newtheorem{example}[thm]{\protect\examplename}
 191         EndPreamble
 192         LangPreamble
 193                 \providecommand{\examplename}{_(Example)}
 194         EndLangPreamble
 195         BabelPreamble
 196                 \addto\captions$$lang{\renewcommand{\examplename}{_(Example)}}
 197         EndBabelPreamble
 198 End
 199
 200
 201 Style Problem
 202         CopyStyle             Definition
 203         LatexName             problem
 204         LabelString           "Problem \thetheorem."
 205         Preamble
 206                 \theoremstyle{definition}
 207                 \newtheorem{problem}[thm]{\protect\problemname}
 208         EndPreamble
 209         LangPreamble
 210                 \providecommand{\problemname}{_(Problem)}
 211         EndLangPreamble
 212         BabelPreamble
 213                 \addto\captions$$lang{\renewcommand{\problemname}{_(Problem)}}
 214         EndBabelPreamble
 215 End
 216
 217
 218 Style Exercise
 219         CopyStyle             Definition
 220         LatexName             xca
 221         LabelString           "Exercise \thetheorem."
 222         Preamble
 223                 \theoremstyle{definition}
 224                 \newtheorem{xca}[thm]{\protect\exercisename}
 225         EndPreamble
 226         LangPreamble
 227                 \providecommand{\exercisename}{_(Exercise)}
 228         EndLangPreamble
 229         BabelPreamble
 230                 \addto\captions$$lang{\renewcommand{\exercisename}{_(Exercise)}}
 231         EndBabelPreamble
 232 End
 233
 234
 235 Style Remark
 236         CopyStyle             Theorem
 237         DependsOn             Theorem
 238         LatexName             rem
 239         LabelString           "Remark \thetheorem."
 240         Font
 241           Shape               Up
 242           Size                Normal
 243         EndFont
 244         LabelFont
 245           Series              Medium
 246           Shape               Italic
 247         EndFont
 248         Preamble
 249                 \theoremstyle{remark}
 250                 \newtheorem{rem}[thm]{\protect\remarkname}
 251         EndPreamble
 252         LangPreamble
 253                 \providecommand{\remarkname}{_(Remark)}
 254         EndLangPreamble
 255         BabelPreamble
 256                 \addto\captions$$lang{\renewcommand{\remarkname}{_(Remark)}}
 257         EndBabelPreamble
 258 End
 259
 260
 261 Style Claim
 262         CopyStyle             Remark
 263         LatexName             claim
 264         LabelString           "Claim \thetheorem."
 265         Preamble
 266                 \theoremstyle{remark}
 267                 \newtheorem{claim}[thm]{\protect\claimname}
 268         EndPreamble
 269         LangPreamble
 270                 \providecommand{\claimname}{_(Claim)}
 271         EndLangPreamble
 272         BabelPreamble
 273                 \addto\captions$$lang{\renewcommand{\claimname}{_(Claim)}}
 274         EndBabelPreamble
 275 End
 276
 277 Input theorems-case.inc
 278 Input theorems-refprefix.inc