#% 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>

Format 3
Input amsart.layout

# Change the definitions of the theorem-like environments to get a
# better numbering.

Input amsmaths-seq.inc

# Use a simpler preamble.

Preamble
EndPreamble


# but more counters

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                  case
End


Counter
	Name                  conclusion
End



Style Theorem
	LabelCounter          theorem
	LabelString           "Theorem \arabic{theorem}."
End


Style Corollary
	LabelCounter          corollary
	LabelString           "Corollary \arabic{corollary}."
End


Style Lemma
	LabelCounter          lemma
	LabelString           "Lemma \arabic{lemma}."
End


Style Proposition
	LabelCounter          proposition
	LabelString           "Proposition \arabic{proposition}."
End


Style Conjecture
	LabelCounter          conjecture
	LabelString           "Conjecture \arabic{conjecture}."
End


Style Criterion
	LabelCounter          criterion
	LabelString           "Criterion \arabic{criterion}."
End


Style Algorithm
	LabelCounter          algorithm
	LabelString           "Algorithm \arabic{algorithm}."
End


Style Fact
	LabelCounter          fact
	LabelString           "Fact \arabic{fact}."
End


Style Axiom
	LabelCounter          axiom
	LabelString           "Axiom \arabic{axiom}."
End


Style Definition
	LabelCounter          definition
	LabelString           "Definition \arabic{definition}."
End


Style Example
	LabelCounter          example
	LabelString           "Example \arabic{example}."
End


Style Condition
	LabelCounter          condition
	LabelString           "Condition \arabic{condition}."
End


Style Problem
	LabelCounter          problem
	LabelString           "Problem \arabic{problem}."
End


Style Exercise
	LabelCounter          exercise
	LabelString           "Exercise \arabic{exercise}."
End


Style Remark
	LabelCounter          remark
	LabelString           "Remark \arabic{remark}."
End


Style Claim
	LabelCounter          claim
	LabelString           "Claim \arabic{claim}."
End


Style Note
	LabelCounter          note
	LabelString           "Note \arabic{note}."
End


Style Notation
	LabelCounter          notation
	LabelString           "Notation \arabic{notation}."
End


Style Summary
	LabelCounter          summary
	LabelString           "Summary \arabic{summary}."
End


Style Acknowledgement
	LabelCounter          acknowledgement
	LabelString           "Acknowledgement \arabic{acknowledgement}."
End


Style Case
	LabelCounter          case
	LabelString           "Case \arabic{case}."
End


Style Conclusion
	LabelCounter          conclusion
	LabelString           "Conclusion \arabic{conclusion}."
End