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

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          execise
	LabelString           "Exercise \arabic{execise}."
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