# 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>
# This version has Theorems and other results numbered in one sequence, and all
# numbered environments (figures as well) containing the section number.
# (Themorem (1.1), Corollary (1.2) Theorem (1.3), etc.
# These are only the theorems styles environnements

# SGH 4/21/04:
# Numbered together, and added full names for LaTeX (ie, theorem, not thm)
# Also added proof.

# The environnements defined are :
# - Proof (added SGH 4/21/04)
# - Theorem
# - Theorem*
# - Corollary
# - Corollary*
# - Lemma
# - Lemma*
# - Proposition
# - Proposition*
# - Conjecture
# - Conjecture*
# - Criterion
# - Algorithm
# - Axiom
# - Definition
# - Definition*
# - Example
# - Example*
# - Condition
# - Problem
# - Exercise
# - Remark
# - Remark*
# - Note
# - Note*
# - Notation
# - Claim
# - Claim*
# - Summary
# - Acknowledgement
# - Acknowledgement*
# - Case
# - Conclusion
# - Conclusion*
# - Fact 
# - Fact*

# A hack: this is used to provide a preamble which is needed by other 
# style. Since this style has been obsoleted, it does not show up in 
# layout lists
Style TheoremStyle
  ObsoletedBy		Standard
  Preamble
    \theoremstyle{plain}
  EndPreamble
End

# Proof style declaration
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
  
  # standard font definition
  Font
    Shape               Up
    Size                Normal
  EndFont

  # label font definition
  LabelFont
    Shape               Italic
  EndFont

  # We don't want the preamble from Theorem
  Preamble
  EndPreamble 
End  

# Theorem-numbered style declaration
Style Theorem
  Margin		First_Dynamic
  LatexType		Environment
  LatexName		theorem
  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		Static
  LabelString		"Theorem #."
  
  # standard font definition
  Font
    Shape 		Italic
    Size		Normal
  EndFont

  # label font definition
  LabelFont
    Shape		Up
    Series		Bold
  EndFont

  Preamble
    \theoremstyle{plain}    
    \newtheorem{theorem}{Theorem} 
  EndPreamble

End  

# Theorem-unnumbered style declaration
Style Theorem*
  CopyStyle		Theorem
  LatexName		theorem*
  LabelString		"Theorem."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{theorem*}{Theorem} 
  EndPreamble
End  

# Corollary-numbered style declaration
Style Corollary
  CopyStyle		Theorem
  LatexName		corollary
  LabelString		"Corollary #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{corollary}[theorem]{Corollary} %%Delete [thm] to re-start numbering
  EndPreamble
End  
# Corollary-unnumbered style declaration
Style Corollary*
  CopyStyle		Theorem
  LatexName		corollary*
  LabelString		"Corollary."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{corollary*}{Corollary}
  EndPreamble
End  

# Lemma-numbered style declaration
Style Lemma
  CopyStyle		Theorem
  LatexName		lemma
  LabelString		"Lemma #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{lemma}[theorem]{Lemma} %%Delete [theorem] to re-start numbering
  EndPreamble
End  

# Lemma-unnumbered style declaration
Style Lemma*
  CopyStyle		Theorem
  LatexName		lemma*
  LabelString		"Lemma."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{lemma*}{Lemma} %%Delete [theorem] to re-start numbering
  EndPreamble
End  

# Proposition-numbered style declaration
Style Proposition
  CopyStyle		Theorem
  LatexName		proposition
  LabelString		"Proposition #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{proposition}[theorem]{Proposition} %%Delete [theorem] to re-start numbering
  EndPreamble
End  

# Proposition-unnumbered style declaration
Style Proposition*
  CopyStyle		Theorem
  LatexName		proposition*
  LabelString		"Proposition."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{proposition*}{Proposition} 
  EndPreamble
End  

# Conjecture-numbered style declaration
Style Conjecture
  CopyStyle		Theorem
  LatexName		conjecture
  LabelString		"Conjecture #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{conjecture}[theorem]{Conjecture} %%Delete [theorem] to re-start numbering
  EndPreamble
End  

# Conjecture-unnumbered style declaration
Style Conjecture*
  CopyStyle		Theorem
  LatexName		conjecture*
  LabelString		"Conjecture."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{conjecture*}{Conjecture} 
  EndPreamble
End 

# Criterion-numbered style declaration
Style Criterion
  CopyStyle		Theorem
  LatexName		criterion
  LabelString		"Criterion #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{criterion}[theorem]{Criterion} %%Delete [theorem] to re-start numbering
  EndPreamble
End  

# Algorithm-numbered style declaration
Style Algorithm
  CopyStyle		Theorem
  LatexName		algorithm
  LabelString		"Algorithm #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{algorithm}[theorem]{Algorithm} %%Delete [theorem] to re-start numbering
  EndPreamble
End  

# Fact-numbered style declaration
Style Fact
  CopyStyle		Theorem
  LatexName		fact
  LabelString		"Fact #."

  Preamble
    \theoremstyle{plain}    
    \newtheorem{fact}[theorem]{Fact} 
  EndPreamble
End  

# Fact-unnumbered style declaration
Style Fact*
  CopyStyle		Theorem
  LatexName		fact*
  LabelString		"Fact."

  Preamble
    \theoremstyle{plain}    
    \newtheorem*{fact*}{Fact} 
  EndPreamble
End  

# Axiom-numbered style declaration
Style Axiom
  CopyStyle		Theorem
  LatexName		axiom
  LabelString		"Axiom #."
  
  Preamble
    \theoremstyle{plain}    
    \newtheorem{axiom}[theorem]{Axiom} 
  EndPreamble
End  

# Definition-numbered style declaration
Style Definition
  CopyStyle		Theorem
  LatexName		definition
  LabelString		"Definition #."
  
  # standard font definition
  Font
    Shape 		Up
  EndFont

  # label font definition
  LabelFont
    Shape		Up
    Series		Bold
  EndFont
 
  Preamble
   \theoremstyle{definition}
   \newtheorem{definition}[theorem]{Definition}
  EndPreamble
End  
# Definition-unnumbered style declaration
Style Definition*
  CopyStyle		Definition
  LatexName		definition*
  LabelString		"Definition."
  
  Preamble
   \theoremstyle{definition}
   \newtheorem*{definition*}{Definition}
  EndPreamble
End  

# Example-numbered style declaration
Style Example
  CopyStyle		Definition
  LatexName		example
  LabelString		"Example #."

  Preamble
   \theoremstyle{definition}
    \newtheorem{example}[theorem]{Example}
  EndPreamble
End  

# Example-unnumbered style declaration
Style Example*
  CopyStyle		Definition
  LatexName		example*
  LabelString		"Example."

  Preamble
   \theoremstyle{definition}
    \newtheorem*{example*}{Example}
  EndPreamble
End  

# Condition-numbered style declaration
Style Condition
  CopyStyle		Definition
  LatexName		condition
  LabelString		"Condition #."

  Preamble
   \theoremstyle{definition}
    \newtheorem{condition}[theorem]{Condition}
  EndPreamble
End  

# Problem-numbered style declaration
Style Problem
  CopyStyle		Definition
  LatexName		problem
  LabelString		"Problem #."

  Preamble
   \theoremstyle{definition}
    \newtheorem{problem}[theorem]{Problem}
  EndPreamble
End  

# Exercise-numbered style declaration
Style Exercise
  CopyStyle		Definition
  LatexName		exercise
  LabelString		"Exercise #."

  Preamble
   \theoremstyle{definition}
    \newtheorem{exercise}[section]{Exercise}%%Delete [section] for sequential numbering
  EndPreamble
End  

# Remark-numbered style declaration
Style Remark
  CopyStyle		Theorem
  LatexName		remark
  LabelString		"Remark #."
  
  # standard font definition
  Font
    Shape 		Up
    Size		Normal
  EndFont

  # label font definition
  LabelFont
    Series		Medium
    Shape		Italic
  EndFont

  Preamble
    \theoremstyle{remark}
    \newtheorem{remark}[theorem]{Remark}
  EndPreamble
End  
# Remark-unnumbered style declaration
Style Remark*
  CopyStyle		Remark
  LatexName		remark*
  LabelString		"Remark."

  Preamble
    \theoremstyle{remark}
    \newtheorem*{remark*}{Remark}
  EndPreamble
End  

# Claim-numbered style declaration
Style Claim
  CopyStyle		Remark
  LatexName		claim
  LabelString		"Claim #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{claim}[theorem]{Claim}
  EndPreamble
End  

# Claim-unnumbered style declaration
Style Claim*
  CopyStyle		Remark
  LatexName		claim*
  LabelString		"Claim."

  Preamble
    \theoremstyle{remark}    
    \newtheorem*{claim*}{Claim}
  EndPreamble
End  

# Note-numbered style declaration
Style Note
  CopyStyle		Remark
  LatexName		note
  LabelString		"Note #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{note}[theorem]{Note} 
  EndPreamble
End  

# Note-unnumbered style declaration
Style Note*
  CopyStyle		Remark
  LatexName		note*
  LabelString		"Note."

  Preamble
    \theoremstyle{remark}    
    \newtheorem*{note*}{Note} 
  EndPreamble
End  


# Notation-numbered style declaration
Style Notation
  CopyStyle		Remark
  LatexName		notation
  LabelString		"Notation #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{notation}[theorem]{Notation} 
  EndPreamble
End  

# Summary-numbered style declaration
Style Summary
  CopyStyle		Remark
  LatexName		summary
  LabelString		"Summary #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{summary}[theorem]{Summary} 
  EndPreamble
End  

# Acknowledgement-numbered style declaration
Style Acknowledgement
  CopyStyle		Remark
  LatexName		acknowledgement
  LabelString		"Acknowledgement #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{acknowledgement}[theorem]{Acknowledgement} 
  EndPreamble
End  
# Acknowledgement-unnumbered style declaration
Style Acknowledgement*
  CopyStyle		Remark
  LatexName		acknowledgement*
  LabelString		"Acknowledgement."

  Preamble
    \theoremstyle{remark}    
    \newtheorem*{acknowledgement*}{Acknowledgement} 
  EndPreamble
End  

# Case-numbered style declaration
Style Case
  CopyStyle		Remark
  LatexName		case
  LabelString		"Case #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{case}{Case} %%Numbering of Cases not keyed to sections 
  EndPreamble
End  

# Conclusion-numbered style declaration
Style Conclusion
  CopyStyle		Remark
  LatexName		conclusion
  LabelString		"Conclusion #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem{conclusion}[theorem]{Conclusion} 
  EndPreamble
End  

# Conclusion-unnumbered style declaration
Style Conclusion*
  CopyStyle		Remark
  LatexName		conclusion*
  LabelString		"Conclusion #."

  Preamble
    \theoremstyle{remark}    
    \newtheorem*{conclusion*}{Conclusion} 
  EndPreamble
End