lib/layouts/theorems-thmtools.module

   1 #\DeclareLyXModule{Theorems (thmtools, Numbered by Type)}
   2 #\DeclareCategory{Maths}
   3 #DescriptionBegin
   4 #Defines the theorem environments defined in the AMS-Theorem modules using the
   5 #thmtools machinery. Both numbered and unnumbered types are provided. In Addition,
   6 #one can use the \listoftheorems command provided by the thmtools.sty package.
   7 #DescriptionEnd
   8 #Excludes: theorems-std | theorems-ams | theorems-bytype | theorems-ams-bytype
   9
  10 # Original Author: Udi Fogiel
  11
  12
  13 Format 99
  14
  15 # The environments defined are:
  16 # - Theorem
  17 # - Corollary
  18 # - Lemma
  19 # - Proposition
  20 # - Conjecture
  21 # - Fact
  22 # - Definition
  23 # - Example
  24 # - Problem
  25 # - Exercise
  26 # - Solution
  27 # - Remark
  28 # - Claim
  29 # - Theorem*
  30 # - Corollary*
  31 # - Lemma*
  32 # - Proposition*
  33 # - Conjecture*
  34 # - Fact*
  35 # - Definition*
  36 # - Example*
  37 # - Problem*
  38 # - Exercise*
  39 # - Solution*
  40 # - Remark*
  41 # - Claim*
  42
  43 # We need separate counters for each theorem-like style.
  44
  45 Counter theorem
  46         Within         section
  47 End
  48 Counter corollary
  49         Within         section
  50 End
  51 Counter lemma
  52         Within         section
  53 End
  54 Counter proposition
  55         Within         section
  56 End
  57 Counter conjecture
  58         Within         section
  59 End
  60 Counter fact
  61         Within         section
  62 End
  63 Counter definition
  64         Within         section
  65 End
  66 Counter example
  67         Within         section
  68 End
  69 Counter problem
  70         Within         section
  71 End
  72 Counter exercise
  73         Within         section
  74 End
  75 Counter remark
  76         Within         section
  77 End
  78 Counter claim
  79         Within         section
  80 End
  81
  82 OutlinerName thm "Definitions & Theorems"
  83
  84 Style Theorem
  85         Category              Reasoning
  86         Margin                First_Dynamic
  87         LatexType             Environment
  88         LatexName             thm
  89         NextNoIndent          1
  90         ResetArgs             1
  91         AddToToc              thm
  92         IsTocCaption          1
  93         Argument 1
  94                 LabelString    "Theorem Name"
  95                 Tooltip        "Additional text appended to the theorem header"
  96                 IsTocCaption      1
  97         EndArgument
  98         LabelSep              xx
  99         ParIndent             MMM
 100         ParSkip               0.4
 101         ItemSep               0.2
 102         TopSep                0.7
 103         BottomSep             0.7
 104         ParSep                0.3
 105         Align                 Block
 106         AlignPossible         Left
 107         LabelType             Static
 108         LabelCounter          theorem
 109         LabelString           "Theorem \thetheorem."
 110         Font
 111             Shape             Italic
 112             Size              Normal
 113         EndFont
 114         LabelFont
 115             Shape             Up
 116             Series            Bold
 117         EndFont
 118         Preamble
 119                 \usepackage{thmtools}
 120                 \renewcommand{\thmt@mklistcmd}{%
 121                         \ifcsname lyx\csname thmt@envname\endcsname name\endcsname
 122                                 \thmtlo@newentry
 123                                 \ifthmt@isstarred
 124                                         \@xa\def\csname ll@\thmt@envname\endcsname{%
 125                                                 \protect\ifthmt@listswap
 126                                                 \protect\else
 127                                                 \protect\numberline{\protect\let\protect\autodot\protect\@empty}%
 128                                                 \protect\fi
 129                                                 \csname lyx\csname thmt@envname\endcsname name\endcsname
 130                                                 \ifx\@empty\thmt@shortoptarg\else\protect\thmtformatoptarg{\thmt@shortoptarg}\fi
 131                                         }%
 132                                 \else
 133                                         \@xa\def\csname ll@\thmt@envname\endcsname{%
 134                                                 \protect\ifthmt@listswap
 135                                                 \csname lyx\csname thmt@envname\endcsname name\endcsname~\csname the\thmt@envname\endcsname
 136                                                 \protect\else
 137                                                 \protect\numberline{\csname the\thmt@envname\endcsname}%
 138                                                 \csname lyx\csname thmt@envname\endcsname name\endcsname
 139                                                 \protect\fi
 140                                                 \ifx\@empty\thmt@shortoptarg\else\protect\thmtformatoptarg{\thmt@shortoptarg}\fi
 141                                         }%
 142                                 \fi
 143                                 \@xa\gdef\csname thmt@contentsline@\thmt@envname\endcsname{%
 144                                         \thmt@contentslineShow
 145                                 }%
 146                         \else
 147                                 \thmtlo@newentry
 148                                 \ifthmt@isstarred
 149                                         \@xa\def\csname ll@\thmt@envname\endcsname{%
 150                                                 \protect\ifthmt@listswap
 151                                                 \protect\else
 152                                                 \protect\numberline{\protect\let\protect\autodot\protect\@empty}%
 153                                                 \protect\fi
 154                                                 \thmt@thmname
 155                                                 \ifx\@empty\thmt@shortoptarg\else\protect\thmtformatoptarg{\thmt@shortoptarg}\fi
 156                                         }%
 157                                 \else
 158                                         \@xa\def\csname ll@\thmt@envname\endcsname{%
 159                                                 \protect\ifthmt@listswap
 160                                                 \thmt@thmname~\csname the\thmt@envname\endcsname
 161                                                 \protect\else
 162                                                 \protect\numberline{\csname the\thmt@envname\endcsname}%
 163                                                 \thmt@thmname
 164                                                 \protect\fi
 165                                                 \ifx\@empty\thmt@shortoptarg\else\protect\thmtformatoptarg{\thmt@shortoptarg}\fi
 166                                         }%
 167                                 \fi
 168                                 \@xa\gdef\csname thmt@contentsline@\thmt@envname\endcsname{%
 169                                         \thmt@contentslineShow
 170                                 }%
 171                         \fi
 172                 }
 173                 \expandafter\providecommand\csname lyxthmname\endcsname{}
 174                 \declaretheorem[numberwithin=section,name=\protect\csname lyxthmname\endcsname]{thm}
 175         EndPreamble
 176         LangPreamble
 177                 \expandafter\renewcommand\csname lyxthmname\endcsname{_(Theorem)}
 178         EndLangPreamble
 179         BabelPreamble
 180                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxthmname\endcsname{_(Theorem)}}
 181         EndBabelPreamble
 182         Requires              amsthm
 183         DocBookWrapperTag     figure
 184         DocBookWrapperAttr    role='theorem'
 185         DocBookTag            para
 186         DocBookGenerateTitle  true
 187 End
 188
 189
 190 Style Theorem*
 191         Category              Reasoning
 192         LatexType             Environment
 193         Margin                First_Dynamic
 194         LatexName             thm*
 195         LabelType             Static
 196         LabelString           "Theorem."
 197         NextNoIndent          1
 198         ResetArgs             1
 199         AddToToc              thm
 200         IsTocCaption          1
 201         Argument 1
 202                 LabelString       "Theorem Name"
 203                 Tooltip           "Additional text appended to the theorem header"
 204                 IsTocCaption      1
 205         EndArgument
 206         LabelSep              xx
 207         ParIndent             MMM
 208         ParSkip               0.4
 209         ItemSep               0.2
 210         TopSep                0.7
 211         BottomSep             0.7
 212         ParSep                0.3
 213         Align                 Block
 214         AlignPossible         Left
 215         Font
 216           Shape               Italic
 217           Size                Normal
 218         EndFont
 219         LabelFont
 220           Shape               Up
 221           Series              Bold
 222         EndFont
 223         Preamble
 224                 \expandafter\providecommand\csname lyxthm*name\endcsname{}
 225                 \declaretheorem[numbered=no,name=\protect\csname lyxthm*name\endcsname]{thm*}
 226         EndPreamble
 227         LangPreamble
 228                 \expandafter\renewcommand\csname lyxthm*name\endcsname{_(Theorem)}
 229         EndLangPreamble
 230         BabelPreamble
 231                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxthm*name\endcsname{_(Theorem)}}
 232         EndBabelPreamble
 233         Requires              amsthm
 234         DependsOn                     Theorem
 235         DocBookWrapperTag     figure
 236         DocBookWrapperAttr    role='theorem'
 237         DocBookTag            para
 238         DocBookGenerateTitle  true
 239 End
 240
 241
 242 Style Corollary
 243         CopyStyle             Theorem
 244         LatexName             cor
 245         LabelString           "Corollary \thecorollary."
 246         Preamble
 247                 \expandafter\providecommand\csname lyxcorname\endcsname{}
 248                 \declaretheorem[numberwithin=section,name=\protect\csname lyxcorname\endcsname]{cor}
 249         EndPreamble
 250         LabelCounter          corollary
 251         LangPreamble
 252                 \expandafter\renewcommand\csname lyxcorname\endcsname{_(Corollary)}
 253         EndLangPreamble
 254         BabelPreamble
 255                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxcorname\endcsname{_(Corollary)}}
 256         EndBabelPreamble
 257         DependsOn                     Theorem
 258         DocBookWrapperTag     figure
 259         DocBookWrapperAttr    role='corollary'
 260         DocBookTag            para
 261         DocBookGenerateTitle  true
 262 End
 263
 264
 265 Style Corollary*
 266         CopyStyle             Theorem*
 267         LatexName             cor*
 268         LabelString           "Corollary."
 269         Preamble
 270                 \expandafter\providecommand\csname lyxcor*name\endcsname{}
 271                 \declaretheorem[numbered=no,name=\protect\csname lyxcorname\endcsname]{cor*}
 272         EndPreamble
 273         LangPreamble
 274                 \expandafter\renewcommand\csname lyxcor*name\endcsname{_(Corollary)}
 275         EndLangPreamble
 276         BabelPreamble
 277                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxcor*name\endcsname{_(Corollary)}}
 278         EndBabelPreamble
 279         DependsOn                     Theorem
 280         DocBookWrapperTag     figure
 281         DocBookWrapperAttr    role='corollary'
 282         DocBookTag            para
 283         DocBookGenerateTitle  true
 284 End
 285
 286
 287 Style Lemma
 288         CopyStyle             Theorem
 289         LatexName             lem
 290         LabelString           "Lemma \thelemma."
 291         Preamble
 292                 \expandafter\providecommand\csname lyxlemname\endcsname{}
 293                 \declaretheorem[numberwithin=section,name=\protect\csname lyxlemname\endcsname]{lem}
 294         EndPreamble
 295         LangPreamble
 296                 \expandafter\renewcommand\csname lyxlemname\endcsname{_(Lemma)}
 297         EndLangPreamble
 298         BabelPreamble
 299                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxlemname\endcsname{_(Lemma)}}
 300         EndBabelPreamble
 301         LabelCounter          lemma
 302         DependsOn                     Theorem
 303         DocBookWrapperTag     figure
 304         DocBookWrapperAttr    role='lemma'
 305         DocBookTag            para
 306         DocBookGenerateTitle  true
 307 End
 308
 309
 310 Style Lemma*
 311         CopyStyle             Theorem*
 312         LatexName             lem*
 313         LabelString           "Lemma."
 314         Preamble
 315                 \expandafter\providecommand\csname lyxlem*name\endcsname{}
 316                 \declaretheorem[numbered=no,name=\protect\csname lyxlem*name\endcsname]{lem*}
 317         EndPreamble
 318         LangPreamble
 319                 \expandafter\renewcommand\csname lyxlem*name\endcsname{_(Lemma)}
 320         EndLangPreamble
 321         BabelPreamble
 322                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxlem*name\endcsname{_(Lemma)}}
 323         EndBabelPreamble
 324         DependsOn                     Theorem
 325         DocBookWrapperTag     figure
 326         DocBookWrapperAttr    role='lemma'
 327         DocBookTag            para
 328         DocBookGenerateTitle  true
 329 End
 330
 331
 332 Style Proposition
 333         CopyStyle             Theorem
 334         LatexName             prop
 335         LabelString           "Proposition \theproposition."
 336         Preamble
 337                 \expandafter\providecommand\csname lyxpropname\endcsname{}
 338                 \declaretheorem[numberwithin=section,name=\protect\csname lyxpropname\endcsname]{prop}
 339         EndPreamble
 340         LangPreamble
 341                 \expandafter\renewcommand\csname lyxpropname\endcsname{_(Proposition)}
 342         EndLangPreamble
 343         BabelPreamble
 344                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxpropname\endcsname{_(Proposition)}}
 345         EndBabelPreamble
 346         LabelCounter          proposition
 347         DependsOn                     Theorem
 348         DocBookWrapperTag     figure
 349         DocBookWrapperAttr    role='proposition'
 350         DocBookTag            para
 351         DocBookGenerateTitle  true
 352 End
 353
 354
 355 Style Proposition*
 356         CopyStyle             Theorem*
 357         LatexName             prop*
 358         LabelString           "Proposition."
 359         Preamble
 360                 \expandafter\providecommand\csname lyxprop*name\endcsname{}
 361                 \declaretheorem[numbered=no,name=\protect\csname lyxprop*name\endcsname]{prop*}
 362         EndPreamble
 363         LangPreamble
 364                 \expandafter\renewcommand\csname lyxprop*name\endcsname{_(Proposition)}
 365         EndLangPreamble
 366         BabelPreamble
 367                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxprop*name\endcsname{_(Proposition)}}
 368         EndBabelPreamble
 369         LabelCounter          proposition
 370         DependsOn                     Theorem
 371         DocBookWrapperTag     figure
 372         DocBookWrapperAttr    role='proposition'
 373         DocBookTag            para
 374         DocBookGenerateTitle  true
 375 End
 376
 377
 378 Style Conjecture
 379         CopyStyle             Theorem
 380         LatexName             conjecture
 381         LabelString           "Conjecture \theconjecture."
 382         Preamble
 383                 \expandafter\providecommand\csname lyxconjecturename\endcsname{}
 384                 \declaretheorem[numberwithin=section,name=\protect\csname lyxconjecturename\endcsname]{conjecture}
 385         EndPreamble
 386         LangPreamble
 387                 \expandafter\renewcommand\csname lyxconjecturename\endcsname{_(Conjecture)}
 388         EndLangPreamble
 389         BabelPreamble
 390                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxconjecturename\endcsname{_(Conjecture)}}
 391         EndBabelPreamble
 392         LabelCounter          conjecture
 393         DependsOn                     Theorem
 394         DocBookWrapperTag     figure
 395         DocBookWrapperAttr    role='conjecture'
 396         DocBookTag            para
 397         DocBookGenerateTitle  true
 398 End
 399
 400
 401 Style Conjecture*
 402         CopyStyle             Theorem*
 403         LatexName             conjecture*
 404         LabelString           "Conjecture."
 405         Preamble
 406                 \expandafter\providecommand\csname lyxconjecture*name\endcsname{}
 407                 \declaretheorem[numbered=no,name=\protect\csname lyxconjecture*name\endcsname]{conjecture*}
 408         EndPreamble
 409         LangPreamble
 410                 \expandafter\renewcommand\csname lyxconjecture*name\endcsname{_(Conjecture)}
 411         EndLangPreamble
 412         BabelPreamble
 413                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxconjecture*name\endcsname{_(Conjecture)}}
 414         EndBabelPreamble
 415         DependsOn                     Theorem
 416         DocBookWrapperTag     figure
 417         DocBookWrapperAttr    role='conjecture'
 418         DocBookTag            para
 419         DocBookGenerateTitle  true
 420 End
 421
 422
 423
 424 Style Fact
 425         CopyStyle             Theorem
 426         LatexName             fact
 427         LabelString           "Fact \thefact."
 428         Preamble
 429                 \expandafter\providecommand\csname lyxfactname\endcsname{}
 430                 \declaretheorem[numberwithin=section,name=\protect\csname lyxfactname\endcsname]{fact}
 431         EndPreamble
 432         LangPreamble
 433                 \expandafter\renewcommand\csname lyxfactname\endcsname{_(Fact)}
 434         EndLangPreamble
 435         BabelPreamble
 436                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxfactname\endcsname{_(Fact)}}
 437         EndBabelPreamble
 438         LabelCounter          fact
 439         DependsOn                     Theorem
 440         DocBookWrapperTag     figure
 441         DocBookWrapperAttr    role='fact'
 442         DocBookTag            para
 443         DocBookGenerateTitle  true
 444 End
 445
 446
 447 Style Fact*
 448         CopyStyle             Theorem*
 449         LatexName             fact*
 450         LabelString           "Fact."
 451         Preamble
 452                 \expandafter\providecommand\csname lyxfact*name\endcsname{}
 453                 \declaretheorem[numbered=no,name=\protect\csname lyxfact*name\endcsname]{fact*}
 454         EndPreamble
 455         LangPreamble
 456                 \expandafter\renewcommand\csname lyxfact*name\endcsname{_(Fact)}
 457         EndLangPreamble
 458         BabelPreamble
 459                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxfact*name\endcsname{_(Fact)}}
 460         EndBabelPreamble
 461         DependsOn                     Theorem
 462         DocBookWrapperTag     figure
 463         DocBookWrapperAttr    role='fact'
 464         DocBookTag            para
 465         DocBookGenerateTitle  true
 466 End
 467
 468
 469
 470 Style Definition
 471         CopyStyle             Theorem
 472         LatexName             defn
 473         LabelString           "Definition \thedefinition."
 474         Font
 475           Shape               Up
 476         EndFont
 477         LabelFont
 478           Shape               Up
 479           Series              Bold
 480         EndFont
 481         Preamble
 482                 \expandafter\providecommand\csname lyxdefnname\endcsname{}
 483                 \declaretheorem[numberwithin=section,name=\protect\csname lyxdefnname\endcsname,style=definition]{defn}
 484         EndPreamble
 485         LangPreamble
 486                 \expandafter\renewcommand\csname lyxdefnname\endcsname{_(Definition)}
 487         EndLangPreamble
 488         BabelPreamble
 489                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxdefnname\endcsname{_(Definition)}}
 490         EndBabelPreamble
 491         LabelCounter          definition
 492         DependsOn                     Theorem
 493         DocBookWrapperTag     figure
 494         DocBookWrapperAttr    role='definition'
 495         DocBookTag            para
 496         DocBookGenerateTitle  true
 497 End
 498
 499
 500 Style Definition*
 501         CopyStyle             Theorem*
 502         LatexName             defn*
 503         LabelType             Static
 504         LabelString           "Definition."
 505         Font
 506           Shape               Up
 507         EndFont
 508         LabelFont
 509           Shape               Up
 510           Series              Bold
 511         EndFont
 512         Preamble
 513                 \expandafter\providecommand\csname lyxdefn*name\endcsname{}
 514                 \declaretheorem[numbered=no,name=\protect\csname lyxdefn*name\endcsname,style=definition]{defn*}
 515         EndPreamble
 516         LangPreamble
 517                 \expandafter\renewcommand\csname lyxdefn*name\endcsname{_(Definition)}
 518         EndLangPreamble
 519         BabelPreamble
 520                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxdefn*name\endcsname{_(Definition)}}
 521         EndBabelPreamble
 522         DependsOn                     Theorem
 523         DocBookWrapperTag     figure
 524         DocBookWrapperAttr    role='definition'
 525         DocBookTag            para
 526         DocBookGenerateTitle  true
 527 End
 528
 529
 530 Style Example
 531         CopyStyle             Definition
 532         LatexName             example
 533         LabelString           "Example \theexample."
 534         Preamble
 535                 \expandafter\providecommand\csname lyxexamplename\endcsname{}
 536                 \declaretheorem[numberwithin=section,name=\protect\csname lyxexamplename\endcsname,style=definition]{example}
 537         EndPreamble
 538         LangPreamble
 539                 \expandafter\renewcommand\csname lyxexamplename\endcsname{_(Example)}
 540         EndLangPreamble
 541         BabelPreamble
 542                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxexamplename\endcsname{_(Example)}}
 543         EndBabelPreamble
 544         LabelCounter          example
 545         DependsOn                     Theorem
 546         DocBookWrapperTag     example
 547         DocBookTag            para
 548         DocBookAttr           ""
 549         DocBookGenerateTitle  true
 550 End
 551
 552
 553 Style Example*
 554         CopyStyle             Definition*
 555         LatexName             example*
 556         LabelString           "Example."
 557         Preamble
 558                 \expandafter\providecommand\csname lyxexample*name\endcsname{}
 559                 \declaretheorem[numbered=no,name=\protect\csname lyxexample*name\endcsname,style=definition]{example*}
 560         EndPreamble
 561         LangPreamble
 562                 \expandafter\renewcommand\csname lyxexample*name\endcsname{_(Example)}
 563         EndLangPreamble
 564         BabelPreamble
 565                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxexample*name\endcsname{_(Example)}}
 566         EndBabelPreamble
 567         DependsOn                     Theorem
 568         DocBookWrapperTag     informalexample
 569         DocBookTag            para
 570         DocBookAttr           ""
 571 End
 572
 573
 574
 575 Style Problem
 576         CopyStyle             Definition
 577         LatexName             problem
 578         LabelString           "Problem \theproblem."
 579         Preamble
 580                 \expandafter\providecommand\csname lyxproblemname\endcsname{}
 581                 \declaretheorem[numberwithin=section,name=\protect\csname lyxproblemname\endcsname,style=definition]{problem}
 582         EndPreamble
 583         LangPreamble
 584                 \expandafter\renewcommand\csname lyxproblemname\endcsname{_(Problem)}
 585         EndLangPreamble
 586         BabelPreamble
 587                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxproblemname\endcsname{_(Problem)}}
 588         EndBabelPreamble
 589         LabelCounter          problem
 590         DependsOn                     Theorem
 591         DocBookWrapperTag     figure
 592         DocBookWrapperAttr    role='problem'
 593         DocBookTag            para
 594         DocBookGenerateTitle  true
 595 End
 596
 597
 598 Style Problem*
 599         CopyStyle             Definition*
 600         LatexName             problem*
 601         LabelString           "Problem."
 602         Preamble
 603                 \expandafter\providecommand\csname lyxproblem*name\endcsname{}
 604                 \declaretheorem[numbered=no,name=\protect\csname lyxproblem*name\endcsname,style=definition]{problem*}
 605         EndPreamble
 606         LangPreamble
 607                 \expandafter\renewcommand\csname lyxproblem*name\endcsname{_(Problem)}
 608         EndLangPreamble
 609         BabelPreamble
 610                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxproblem*name\endcsname{_(Problem)}}
 611         EndBabelPreamble
 612         DependsOn                     Theorem
 613         DocBookWrapperTag     figure
 614         DocBookWrapperAttr    role='problem'
 615         DocBookTag            para
 616         DocBookGenerateTitle  true
 617 End
 618
 619
 620 Style Exercise
 621         CopyStyle             Definition
 622         LatexName             xca
 623         LabelString           "Exercise \theexercise."
 624         Preamble
 625                 \expandafter\providecommand\csname lyxxcaname\endcsname{}
 626                 \declaretheorem[numberwithin=section,name=\protect\csname lyxxcaname\endcsname,style=definition]{xca}
 627         EndPreamble
 628         LangPreamble
 629                 \expandafter\renewcommand\csname lyxxcaname\endcsname{_(Exercise)}
 630         EndLangPreamble
 631         BabelPreamble
 632                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxxcaname\endcsname{_(Exercise)}}
 633         EndBabelPreamble
 634         LabelCounter          exercise
 635         DependsOn                     Theorem
 636         DocBookWrapperTag     figure
 637         DocBookWrapperAttr    role='exercise'
 638         DocBookTag            para
 639         DocBookGenerateTitle  true
 640 End
 641
 642
 643 Style Exercise*
 644         CopyStyle             Definition*
 645         LatexName             xca*
 646         LabelString           "Exercise."
 647         Preamble
 648                 \expandafter\providecommand\csname lyxxca*name\endcsname{}
 649                 \declaretheorem[numbered=no,name=\protect\csname lyxxca*name\endcsname,style=definition]{xca*}
 650         EndPreamble
 651         LangPreamble
 652                 \expandafter\renewcommand\csname lyxxca*name\endcsname{_(Exercise)}
 653         EndLangPreamble
 654         BabelPreamble
 655                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxxca*name\endcsname{_(Exercise)}}
 656         EndBabelPreamble
 657         DependsOn                     Theorem
 658         DocBookWrapperTag     figure
 659         DocBookWrapperAttr    role='exercise'
 660         DocBookTag            para
 661         DocBookGenerateTitle  true
 662 End
 663
 664
 665 Style Solution
 666         CopyStyle             Definition
 667         LatexName             sol
 668         LabelString           "Solution \thesolution."
 669         Preamble
 670                 \expandafter\providecommand\csname lyxsolname\endcsname{}
 671                 \declaretheorem[numberwithin=section,name=\protect\csname lyxsolname\endcsname,style=definition]{sol}
 672         EndPreamble
 673         LangPreamble
 674                 \expandafter\renewcommand\csname lyxsolname\endcsname{_(Solution)}
 675         EndLangPreamble
 676         BabelPreamble
 677                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxsolname\endcsname{_(Solution)}}
 678         EndBabelPreamble
 679         LabelCounter          solution
 680         DependsOn                     Theorem
 681         DocBookWrapperTag     figure
 682         DocBookWrapperAttr    role='solution'
 683         DocBookTag            para
 684         DocBookGenerateTitle  true
 685 End
 686
 687
 688 Style Solution*
 689         CopyStyle             Definition*
 690         LatexName             sol*
 691         LabelString           "Solution."
 692         Preamble
 693                 \expandafter\providecommand\csname lyxsol*name\endcsname{}
 694                 \declaretheorem[numbered=no,name=\protect\csname lyxsol*name\endcsname,style=definition]{sol*}
 695         EndPreamble
 696         LangPreamble
 697                 \expandafter\renewcommand\csname lyxsol*name\endcsname{_(Solution)}
 698         EndLangPreamble
 699         BabelPreamble
 700                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxsol*name\endcsname{_(Solution)}}
 701         EndBabelPreamble
 702         DependsOn                     Theorem
 703         DocBookWrapperTag     figure
 704         DocBookWrapperAttr    role='solution'
 705         DocBookTag            para
 706         DocBookGenerateTitle  true
 707 End
 708
 709
 710 Style Remark
 711         CopyStyle             Theorem
 712         LatexName             rem
 713         LabelString           "Remark \theremark."
 714         Font
 715           Shape               Up
 716           Size                Normal
 717         EndFont
 718         LabelFont
 719           Series              Medium
 720           Shape               Italic
 721         EndFont
 722         Preamble
 723                 \expandafter\providecommand\csname lyxremname\endcsname{}
 724                 \declaretheorem[numberwithin=section,name=\protect\csname lyxremname\endcsname,style=remark]{rem}
 725         EndPreamble
 726         LangPreamble
 727                 \expandafter\renewcommand\csname lyxremname\endcsname{_(Remark)}
 728         EndLangPreamble
 729         BabelPreamble
 730                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxremname\endcsname{_(Remark)}}
 731         EndBabelPreamble
 732         LabelCounter          remark
 733         DependsOn                     Theorem
 734         DocBookWrapperTag     figure
 735         DocBookWrapperAttr    role='remark'
 736         DocBookTag            para
 737         DocBookGenerateTitle  true
 738 End
 739
 740
 741 Style Remark*
 742         CopyStyle             Theorem*
 743         LatexName             rem*
 744         LabelString           "Remark."
 745         Font
 746           Shape               Up
 747           Size                Normal
 748         EndFont
 749         LabelFont
 750           Series              Medium
 751           Shape               Italic
 752         EndFont
 753         Preamble
 754                 \expandafter\providecommand\csname lyxrem*name\endcsname{}
 755                 \declaretheorem[numbered=no,name=\protect\csname lyxrem*name\endcsname,style=remark]{rem*}
 756         EndPreamble
 757         LangPreamble
 758                 \expandafter\renewcommand\csname lyxrem*name\endcsname{_(Remark)}
 759         EndLangPreamble
 760         BabelPreamble
 761                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxrem*name\endcsname{_(Remark)}}
 762         EndBabelPreamble
 763         DependsOn                     Theorem
 764         DocBookWrapperTag     figure
 765         DocBookWrapperAttr    role='remark'
 766         DocBookTag            para
 767         DocBookGenerateTitle  true
 768 End
 769
 770
 771 Style Claim
 772         CopyStyle             Remark
 773         LatexName             claim
 774         LabelString           "Claim \theclaim."
 775         Preamble
 776                 \expandafter\providecommand\csname lyxclaimname\endcsname{}
 777                 \declaretheorem[numberwithin=section,name=\protect\csname lyxclaimname\endcsname,style=remark]{claim}
 778         EndPreamble
 779         LangPreamble
 780                 \expandafter\renewcommand\csname lyxclaimname\endcsname{_(Claim)}
 781         EndLangPreamble
 782         BabelPreamble
 783                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxclaimname\endcsname{_(Claim)}}
 784         EndBabelPreamble
 785         LabelCounter          claim
 786         DependsOn                     Theorem
 787         DocBookWrapperTag     figure
 788         DocBookWrapperAttr    role='claim'
 789         DocBookTag            para
 790         DocBookGenerateTitle  true
 791 End
 792
 793
 794 Style Claim*
 795         CopyStyle             Remark*
 796         LatexName             claim*
 797         LabelString           "Claim."
 798         Preamble
 799                 \expandafter\providecommand\csname lyxclaim*name\endcsname{}
 800                 \declaretheorem[numbered=no,name=\protect\csname lyxclaim*name\endcsname,style=remark]{claim*}
 801         EndPreamble
 802         LangPreamble
 803                 \expandafter\renewcommand\csname lyxclaim*name\endcsname{_(Claim)}
 804         EndLangPreamble
 805         BabelPreamble
 806                 \addto\captions$$lang{\expandafter\renewcommand\csname lyxclaim*name\endcsname{_(Claim)}}
 807         EndBabelPreamble
 808         DependsOn                     Theorem
 809         DocBookWrapperTag     figure
 810         DocBookWrapperAttr    role='claim'
 811         DocBookTag            para
 812         DocBookGenerateTitle  true
 813 End
 814
 815
 816 InsetLayout "Flex:List of Theorems"
 817         LyXType                           custom
 818         LatexType                         command
 819         Decoration                        classic
 820         LatexName                         listoftheorems
 821         LabelString                       "List of theorems"
 822         Argument 1
 823             LabelString           "keys"
 824             Tooltip                       "Insert wanted keys here"
 825             PassThru              1
 826             Mandatory             0
 827             AutoInsert        1
 828         EndArgument
 829         Font
 830             Color             latex
 831             Family            typewriter
 832         EndFont
 833         LabelFont
 834             Color             latex
 835             Size              Small
 836         EndFont
 837         MultiPar              true
 838         CustomPars            false
 839         ForcePlain            true
 840         PassThru              true
 841         ParbreakIsNewline     true
 842         KeepEmpty             true
 843         FreeSpacing           true
 844         Preamble
 845                 \usepackage{thmtools}
 846                 \declaretheorem{lyxdummytheorem}
 847         EndPreamble
 848 End
 849
 850 Input theorems-case.inc
 851 Input theorems-proof.inc
 852 Input theorems-refprefix.inc