+++ /dev/null
-#% Do not delete the line below; configure depends on this
-# \DeclareLaTeXClass[amsart]{article (AMS, unnumbered)}
-# AMS-Article textclass definition file. Taken from initial LyX source code
-# and from the Article textclass definition file, following the AMS sample
-# paper "testmath.tex" of January, 1995
-# Author : David L. Johnson <dlj0@lehigh.edu>
-# The "unnumbered" version has all results, unnumbered
-# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
-# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
-# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
-
-Format 6
-Input amsart.layout
-
-# Change the definitions of the theorem-like environments to get unnumbered
-# results
-
-# Use a simpler preamble.
-Preamble
- \usepackage{amsmath,amsthm}
- \usepackage{amsfonts}
-EndPreamble
-
-Input amsmaths-plain.inc
+++ /dev/null
-#% Do not delete the line below; configure depends on this
-# \DeclareLaTeXClass[amsart]{article (AMS, sequential numbering)}
-# AMS-Article textclass definition file. Taken from initial LyX source code
-# and from the Article textclass definition file, following the AMS sample
-# paper "testmath.tex" of January, 1995
-# Author : David L. Johnson <dlj0@lehigh.edu>
-#
-# The "seq" version has all results, figures, etc., numbered in a separate
-# sequence, without section numbers attached (Theorem (1), Corollary (1),
-# Theorem (2), etc.).
-#
-# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
-# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
-# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
-
-Format 6
-Input amsart.layout
-
-# Change the definitions of the theorem-like environments to get a
-# better numbering.
-
-Input amsmaths-seq.inc
-
+++ /dev/null
-# Author : David L. Johnson <dlj0@lehigh.edu>
-# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
-# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
-# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
-
-
-# These are only the plain (unnumbered) theorem styles environments.
-# Both starred and unstarred versions are included for compatibility
-# with the other AMS classes.
-# The environments defined are:
-# - Theorem
-# - Corollary
-# - Lemma
-# - Proposition
-# - Conjecture
-# - Criterion
-# - Algorithm
-# - Fact
-# - Axiom
-# - Definition
-# - Example
-# - Condition
-# - Problem
-# - Exercise
-# - Remark
-# - Claim
-# - Note
-# - Notation
-# - Summary
-# - Acknowledgement
-# - Conclusion
-# - Assumption
-# - Case (regular only -- defined as an enumeration)
-
-
-Format 6
-
-Style Theorem
- LatexName thm*
- LabelString "Theorem."
-End
-
-
-Style Corollary
- LatexName cor*
- LabelString "Corollary."
-End
-
-
-Style Lemma
- LatexName lem*
- LabelString "Lemma."
-End
-
-
-Style Proposition
- LatexName prop*
- LabelString "Proposition."
-End
-
-
-Style Conjecture
- LatexName conjecture*
- LabelString "Conjecture."
-End
-
-
-Style Criterion
- LatexName criterion*
- LabelString "Criterion."
-End
-
-
-Style Algorithm
- LatexName algorithm*
- LabelString "Algorithm."
-End
-
-
-Style Fact
- LatexName fact*
- LabelString "Fact."
-End
-
-
-Style Axiom
- LatexName ax*
- LabelString "Axiom."
-End
-
-
-Style Definition
- LatexName defn*
- LabelString "Definition."
-End
-
-
-Style Example
- LatexName example*
- LabelString "Example."
-End
-
-
-Style Condition
- LatexName condition*
- LabelString "Condition."
-End
-
-
-Style Problem
- LatexName problem*
- LabelString "Problem."
-End
-
-
-Style Exercise
- LatexName xca*
- LabelString "Exercise."
-End
-
-
-Style Remark
- LatexName rem*
- LabelString "Remark."
-End
-
-
-Style Claim
- LatexName claim*
- LabelString "Claim."
-End
-
-
-Style Note
- LatexName note*
- LabelString "Note."
-End
-
-
-Style Notation
- LatexName notation*
- LabelString "Notation."
-End
-
-
-Style Summary
- LatexName summary*
- LabelString "Summary."
-End
-
-
-Style Acknowledgement
- LatexName acknowledgement*
- LabelString "Acknowledgement."
-End
-
-
-Style Conclusion
- LatexName conclusion*
- LabelString "Conclusion."
-End
-
-
-Style Assumption
- LatexName assumption*
- LabelString "Assumption."
-End
+++ /dev/null
-# Author : David L. Johnson <dlj0@lehigh.edu>
-# Probably broken by Jean-Marc Lasgouttes <Jean-Marc.Lasgouttes@inria.fr>
-# modified and modularized by Emmanuel GUREGHIAN <gureghia@boston.bertin.fr>
-# Tinkered with Sep. '07 by Paul Rubin <rubin@msu.edu>
-
-# These are only the theorems styles environnements
-# The environnements defined are :
-# - Theorem
-# - Corollary
-# - Lemma
-# - Proposition
-# - Conjecture
-# - Criterion
-# - Algorithm
-# - Fact
-# - Axiom
-# - Definition
-# - Example
-# - Condition
-# - Problem
-# - Exercise
-# - Remark
-# - Claim
-# - Note
-# - Notation
-# - Summary
-# - Acknowledgement
-# - Conclusion
-# - Assumption
-# - Case (regular only -- defined as an enumeration)
-
-Format 6
-
-# Use a simpler preamble.
-
-Preamble
-EndPreamble
-
-
-# but more counters
-
-# Do not restart theorem counter after section change
-Counter
- Name thm
-End
-
-Counter
- Name corollary
-End
-
-
-Counter
- Name lemma
-End
-
-
-Counter
- Name proposition
-End
-
-
-Counter
- Name conjecture
-End
-
-
-Counter
- Name criterion
-End
-
-
-Counter
- Name algorithm
-End
-
-
-Counter
- Name fact
-End
-
-
-Counter
- Name axiom
-End
-
-
-Counter
- Name definition
-End
-
-
-Counter
- Name example
-End
-
-
-Counter
- Name condition
-End
-
-
-Counter
- Name problem
-End
-
-
-Counter
- Name exercise
-End
-
-
-Counter
- Name remark
-End
-
-
-Counter
- Name claim
-End
-
-
-Counter
- Name note
-End
-
-
-Counter
- Name notation
-End
-
-
-Counter
- Name summary
-End
-
-
-Counter
- Name acknowledgement
-End
-
-
-Counter
- Name conclusion
-End
-
-Counter
- Name assumption
-End
-
-Style Theorem
- LabelCounter thm
- LabelString "Theorem \arabic{thm}."
- Preamble
- \theoremstyle{plain}
- \newtheorem{thm}{Theorem}
- EndPreamble
-End
-
-
-Style Corollary
- LabelCounter corollary
- DependsOn ""
- LabelString "Corollary \arabic{corollary}."
- Preamble
- \theoremstyle{plain}
- \newtheorem{cor}{Corollary}
- EndPreamble
-End
-
-
-Style Lemma
- LabelCounter lemma
- DependsOn ""
- LabelString "Lemma \arabic{lemma}."
- Preamble
- \theoremstyle{plain}
- \newtheorem{lem}{Lemma}
- EndPreamble
-End
-
-
-Style Proposition
- LabelCounter proposition
- DependsOn ""
- LabelString "Proposition \arabic{proposition}."
- Preamble
- \theoremstyle{plain}
- \newtheorem{prop}{Proposition}
- EndPreamble
-End
-
-
-Style Conjecture
- LabelCounter conjecture
- DependsOn ""
- LabelString "Conjecture \arabic{conjecture}."
- Preamble
- \theoremstyle{plain}
- \newtheorem{conjecture}{Conjecture}
- EndPreamble
-End
-
-
-Style Criterion
- LabelCounter criterion
- DependsOn ""
- LabelString "Criterion \arabic{criterion}."
- Preamble
- \theoremstyle{plain}
- \newtheorem{criterion}{Criterion}
- EndPreamble
-End
-
-
-Style Algorithm
- LabelCounter algorithm
- DependsOn ""
- LabelString "Algorithm \arabic{algorithm}."
- Preamble
- \theoremstyle{plain}
- \newtheorem{algorithm}{Algorithm}
- EndPreamble
-End
-
-
-Style Fact
- LabelCounter fact
- DependsOn ""
- LabelString "Fact \arabic{fact}."
- Preamble
- \theoremstyle{plain}
- \newtheorem{fact}{Fact}
- EndPreamble
-End
-
-
-Style Axiom
- LabelCounter axiom
- DependsOn ""
- LabelString "Axiom \arabic{axiom}."
- Preamble
- \theoremstyle{plain}
- \newtheorem{ax}{Axiom}
- EndPreamble
-End
-
-
-Style Definition
- LabelCounter definition
- DependsOn ""
- LabelString "Definition \arabic{definition}."
- Preamble
- \theoremstyle{definition}
- \newtheorem{defn}{Definition}
- EndPreamble
-End
-
-
-Style Example
- LabelCounter example
- DependsOn ""
- LabelString "Example \arabic{example}."
- Preamble
- \theoremstyle{definition}
- \newtheorem{example}{Example}
- EndPreamble
-End
-
-
-Style Condition
- LabelCounter condition
- DependsOn ""
- LabelString "Condition \arabic{condition}."
- Preamble
- \theoremstyle{definition}
- \newtheorem{condition}{Condition}
- EndPreamble
-End
-
-
-Style Problem
- LabelCounter problem
- DependsOn ""
- LabelString "Problem \arabic{problem}."
- Preamble
- \theoremstyle{definition}
- \newtheorem{problem}{Problem}
- EndPreamble
-End
-
-
-Style Exercise
- LabelCounter exercise
- DependsOn ""
- LabelString "Exercise \arabic{exercise}."
- Preamble
- \theoremstyle{definition}
- \newtheorem{xca}{Exercise}
- EndPreamble
-End
-
-
-Style Remark
- LabelCounter remark
- DependsOn ""
- LabelString "Remark \arabic{remark}."
- Preamble
- \theoremstyle{remark}
- \newtheorem{rem}{Remark}
- EndPreamble
-End
-
-
-Style Claim
- LabelCounter claim
- DependsOn ""
- LabelString "Claim \arabic{claim}."
- Preamble
- \theoremstyle{remark}
- \newtheorem{claim}{Claim}
- EndPreamble
-End
-
-
-Style Note
- LabelCounter note
- DependsOn ""
- LabelString "Note \arabic{note}."
- Preamble
- \theoremstyle{remark}
- \newtheorem{note}{Note}
- EndPreamble
-End
-
-
-Style Notation
- LabelCounter notation
- DependsOn ""
- LabelString "Notation \arabic{notation}."
- Preamble
- \theoremstyle{remark}
- \newtheorem{notation}{Notation}
- EndPreamble
-End
-
-
-Style Summary
- LabelCounter summary
- DependsOn ""
- LabelString "Summary \arabic{summary}."
- Preamble
- \theoremstyle{remark}
- \newtheorem{summary}{Summary}
- EndPreamble
-End
-
-
-Style Acknowledgement
- LabelCounter acknowledgement
- DependsOn ""
- LabelString "Acknowledgement \arabic{acknowledgement}."
- Preamble
- \theoremstyle{remark}
- \newtheorem{acknowledgement}{Acknowledgement}
- EndPreamble
-End
-
-
-Style Conclusion
- LabelCounter conclusion
- DependsOn ""
- LabelString "Conclusion \arabic{conclusion}."
- Preamble
- \theoremstyle{remark}
- \newtheorem{conclusion}{Conclusion}
- EndPreamble
-End
-
-
-Style Assumption
- LabelCounter assumption
- DependsOn ""
- LabelString "Assumption \arabic{assumption}."
- Preamble
- \theoremstyle{plain}
- \newtheorem{assumption}{Assumption}
- EndPreamble
-End