X-Git-Url: https://git.lyx.org/gitweb/?a=blobdiff_plain;f=lib%2Flayouts%2Ftheorems-ams.module;h=e8896b4870bf15095bc96a0984fc33cea0ba8b0e;hb=9c8955ffd9df1a38a617bcbdf011c7b890ea23d1;hp=cd917ca9dfa78afe1ca24152a1c42bd34286793d;hpb=8a947f63da25582224d20b29fadba6128f271555;p=lyx.git diff --git a/lib/layouts/theorems-ams.module b/lib/layouts/theorems-ams.module index cd917ca9df..e8896b4870 100644 --- a/lib/layouts/theorems-ams.module +++ b/lib/layouts/theorems-ams.module @@ -1,555 +1,27 @@ -#\DeclareLyXModule[amsmath.sty]{Defines theorem environments and the proof environment for use with non-AMS classes, using the extended AMS machinery. The theorems are numbered consecutively throughout the document.}{Theorems (AMS)} +#\DeclareLyXModule{Theorems (AMS)} +#DescriptionBegin +#Defines theorem environments and the proof environment using the extended +#AMS machinery. Both numbered and unnumbered types are provided. By default, +#the theorems are numbered consecutively throughout the document. This can be +#changed by loading one of the 'Theorems (Numbered by ...)' modules. +#DescriptionEnd +#Excludes: theorems-std | theorems-starred +#Category: theorems -# Author: Richard Heck -# Adapted from amsdefs.inc and amsmaths.inc +# Original Author : David L. Johnson +# Probably broken by Jean-Marc Lasgouttes +# modified and modularized by Emmanuel GUREGHIAN +# Tinkered with Sep. '07 by Paul Rubin +# Modularized Jan 08 by Richard Heck -# the environments defined are: -# - Proof -# - Theorem -# - Theorem* -# - Corollary -# - Corollary* -# - Lemma -# - Lemma* -# - Proposition -# - Proposition* -# - Conjecture -# - Conjecture* -# - Criterion -# - Algorithm -# - Axiom -# - Definition -# - Definition* -# - Example -# - Example* -# - Condition -# - Condition* -# - Problem -# - Problem* -# - Exercise -# - Remark -# - Remark* -# - Note -# - Note* -# - Notation -# - Notation* -# - Claim -# - Claim* -# - Summary -# - Acknowledgement -# - Acknowledgement* -# - Case -# - Conclusion -# - Conclusion* -# - Fact -# - Fact* +Format 45 -Format 5 -Preamble - \usepackage{amsmath} - \theoremstyle{plain} - \newtheorem{thm}{Theorem}[section] -EndPreamble +Requires amsmath,amsthm - -Counter - Name theorem -End - - -Style Theorem - Margin First_Dynamic - LatexType Environment - LatexName thm -#DependsOn TheoremStyle - NextNoIndent 1 - LabelSep xx - ParIndent MMM - ParSkip 0.4 - ItemSep 0.2 - TopSep 0.7 - BottomSep 0.7 - ParSep 0.3 - Align Block - AlignPossible Block, Left - LabelType Counter - LabelCounter theorem - LabelString "Theorem \thetheorem." - Font - Shape Italic - Size Normal - EndFont - LabelFont - Shape Up - Series Bold - EndFont -End - - -Style Theorem* - CopyStyle Theorem - LatexName thm* - LabelType Static - LabelString "Theorem." - Preamble - \theoremstyle{plain} - \newtheorem*{thm*}{Theorem} - EndPreamble -End - - -Style Corollary - CopyStyle Theorem - LatexName cor - LabelString "Corollary \thetheorem." - Preamble - \theoremstyle{plain} - \newtheorem{cor}[thm]{Corollary} - EndPreamble -End - - -Style Corollary* - CopyStyle Theorem* - LatexName cor* - LabelString "Corollary." - Preamble - \theoremstyle{plain} - \newtheorem*{cor*}{Corollary} - EndPreamble -End - - -Style Lemma - CopyStyle Theorem - LatexName lem - LabelString "Lemma \thetheorem." - Preamble - \theoremstyle{plain} - \newtheorem{lem}[thm]{Lemma} - EndPreamble -End - - -Style Lemma* - CopyStyle Theorem* - LatexName lem* - LabelString "Lemma." - Preamble - \theoremstyle{plain} - \newtheorem*{lem*}{Lemma} - EndPreamble -End - - -Style Proposition - CopyStyle Theorem - LatexName prop - LabelString "Proposition \thetheorem." - Preamble - \theoremstyle{plain} - \newtheorem{prop}[thm]{Proposition} - EndPreamble -End - - -Style Proposition* - CopyStyle Theorem* - LatexName prop* - LabelString "Proposition." - Preamble - \theoremstyle{plain} - \newtheorem*{prop*}{Proposition} - EndPreamble -End - - -Style Conjecture - CopyStyle Theorem - LatexName conjecture - LabelString "Conjecture \thetheorem." - Preamble - \theoremstyle{plain} - \newtheorem{conjecture}[thm]{Conjecture} - EndPreamble -End - - -Style Conjecture* - CopyStyle Theorem* - LatexName conjecture* - LabelString "Conjecture." - Preamble - \theoremstyle{plain} - \newtheorem*{conjecture*}{Conjecture} - EndPreamble -End - - -Style Criterion - CopyStyle Theorem - LatexName criterion - LabelString "Criterion \thetheorem." - Preamble - \theoremstyle{plain} - \newtheorem{criterion}[thm]{Criterion} - EndPreamble -End - - -Style Algorithm - CopyStyle Theorem - LatexName algorithm - LabelString "Algorithm \thetheorem." - Preamble - \theoremstyle{plain} - \newtheorem{algorithm}[thm]{Algorithm} - EndPreamble -End - - -Style Fact - CopyStyle Theorem - LatexName fact - LabelString "Fact \thetheorem." - Preamble - \theoremstyle{plain} - \newtheorem{fact}[thm]{Fact} - EndPreamble -End - - -Style Fact* - CopyStyle Theorem* - LatexName fact* - LabelString "Fact." - Preamble - \theoremstyle{plain} - \newtheorem*{fact*}{Fact} - EndPreamble -End - - -Style Axiom - CopyStyle Theorem - LatexName ax - LabelString "Axiom \thetheorem." - Preamble - \theoremstyle{plain} - \newtheorem{ax}[thm]{Axiom} - EndPreamble -End - - -Style Definition - CopyStyle Theorem - LatexName defn - LabelString "Definition \thetheorem." - Font - Shape Up - EndFont - LabelFont - Shape Up - Series Bold - EndFont - Preamble - \theoremstyle{definition} - \newtheorem{defn}[thm]{Definition} - EndPreamble -End - - -Style Definition* - CopyStyle Definition - LatexName defn* - LabelType Static - LabelString "Definition." - Preamble - \theoremstyle{definition} - \newtheorem*{defn*}{Definition} - EndPreamble -End - - -Style Example - CopyStyle Definition - LatexName example - LabelString "Example \thetheorem." - Preamble - \theoremstyle{definition} - \newtheorem{example}[thm]{Example} - EndPreamble -End - - -Style Example* - CopyStyle Definition* - LatexName example* - LabelString "Example." - Preamble - \theoremstyle{definition} - \newtheorem*{example*}{Example} - EndPreamble -End - - -Style Condition - CopyStyle Definition - LatexName condition - LabelString "Condition \thetheorem." - Preamble - \theoremstyle{definition} - \newtheorem{condition}[thm]{Condition} - EndPreamble +Counter theorem End - -Style Condition* - CopyStyle Definition* - LatexName condition* - LabelString "Condition." - Preamble - \theoremstyle{definition} - \newtheorem*{condition*}{Condition} - EndPreamble -End - - -Style Problem - CopyStyle Definition - LatexName problem - LabelString "Problem \thetheorem." - Preamble - \theoremstyle{definition} - \newtheorem{problem}[thm]{Problem} - EndPreamble -End - - -Style Problem* - CopyStyle Definition* - LatexName problem* - LabelString "Problem." - Preamble - \theoremstyle{definition} - \newtheorem*{problem*}{Problem} - EndPreamble -End - - -Style Exercise - CopyStyle Definition - LatexName xca - LabelString "Exercise \thetheorem." - Preamble - \theoremstyle{definition} - %%Delete [section] for sequential numbering - \newtheorem{xca}[section]{Exercise} - EndPreamble -End - - -Style Exercise* - CopyStyle Definition* - LatexName xca - LabelString "Exercise." - Preamble - \theoremstyle{definition} - \newtheorem*{xca*}{Exercise} - EndPreamble -End - - -Style Remark - CopyStyle Theorem - LatexName rem - LabelString "Remark \thetheorem." - Font - Shape Up - Size Normal - EndFont - LabelFont - Series Medium - Shape Italic - EndFont - Preamble - \theoremstyle{remark} - \newtheorem{rem}[thm]{Remark} - EndPreamble -End - - -Style Remark* - CopyStyle Remark - LatexName rem* - LabelType Static - LabelString "Remark." - Preamble - \theoremstyle{remark} - \newtheorem*{rem*}{Remark} - EndPreamble -End - - -Style Claim - CopyStyle Remark - LatexName claim - LabelString "Claim \thetheorem." - Preamble - \theoremstyle{remark} - \newtheorem{claim}[thm]{Claim} - EndPreamble -End - - -Style Claim* - CopyStyle Remark* - LatexName claim* - LabelString "Claim." - Preamble - \theoremstyle{remark} - \newtheorem*{claim*}{Claim} - EndPreamble -End - - -Style Note - CopyStyle Remark - LatexName note - LabelString "Note \thetheorem." - Preamble - \theoremstyle{remark} - \newtheorem{note}[thm]{Note} - EndPreamble -End - - -Style Note* - CopyStyle Remark* - LatexName note* - LabelString "Note." - Preamble - \theoremstyle{remark} - \newtheorem*{note*}{Note} - EndPreamble -End - - -Style Notation - CopyStyle Remark - LatexName notation - LabelString "Notation \thetheorem." - Preamble - \theoremstyle{remark} - \newtheorem{notation}[thm]{Notation} - EndPreamble -End - - -Style Notation* - CopyStyle Remark* - LatexName notation* - LabelString "Notation." - Preamble - \theoremstyle{remark} - \newtheorem*{notation*}[thm]{Notation} - EndPreamble -End - - -Style Summary - CopyStyle Remark - LatexName summary - LabelString "Summary \thetheorem." - Preamble - \theoremstyle{remark} - \newtheorem{summary}[thm]{Summary} - EndPreamble -End - - -Style Acknowledgement - CopyStyle Remark - LatexName acknowledgement - LabelString "Acknowledgement \thetheorem." - Preamble - \theoremstyle{remark} - \newtheorem{acknowledgement}[thm]{Acknowledgement} - EndPreamble -End - - -Style Acknowledgement* - CopyStyle Remark* - LatexName acknowledgement* - LabelString "Acknowledgement." - Preamble - \theoremstyle{remark} - \newtheorem*{acknowledgement*}{Acknowledgement} - EndPreamble -End - - -Style Case - CopyStyle Remark - LatexName case - LabelString "Case \thetheorem." - Preamble - \theoremstyle{remark} - \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections - EndPreamble -End - - -Style Conclusion - CopyStyle Remark - LatexName conclusion - LabelString "Conclusion \thetheorem." - Preamble - \theoremstyle{remark} - \newtheorem{conclusion}[thm]{Conclusion} - EndPreamble -End - - -Style Conclusion* - CopyStyle Remark* - LatexName conclusion* - LabelString "Conclusion." - Preamble - \theoremstyle{remark} - \newtheorem*{conclusion*}{Conclusion} - EndPreamble -End - - -Style Proof - Margin First_Dynamic - LatexType Environment - LatexName proof - NextNoIndent 1 - LabelSep xx - ParIndent MMM - ParSkip 0.4 - ItemSep 0.2 - TopSep 0.7 - BottomSep 0.7 - ParSep 0.3 - Align Block - AlignPossible Block, Left - LabelType Static - LabelString "Proof." - EndLabelType Box - Font - Shape Up - Size Normal - EndFont - LabelFont - Shape Italic - EndFont - # We don't want the preamble from Theorem - Preamble - EndPreamble -End - - +Input theorems-order.inc +Input theorems-ams.inc +Input theorems-starred.inc +Input theorems-proof.inc