%%
%% This is file `tlgart.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% tlgart.dtx  (with options: `package')
%% 
%% This is a generated file.
%% 
%% Copyright (C) 2007 by Joel Uckleman
%% 
%% This file may be distributed and/or modified under the
%% conditions of the LaTeX Project Public License, either
%% version 1.2 of this license or (at your option) any later
%% version. The latest version of this license is in:
%% 
%%    http://www.latex-project.org/lppl.txt
%% 
%% and version 1.2 or later is part of all distributions of
%% LaTeX version 1999/12/01 or later.
%% 
\NeedsTeXFormat{LaTeX2e}[1999/12/01]
\ProvidesPackage{tlgart}[2007/05/04 v0.1 Package for articles to appear in collections in the book series "Texts in Logic and Games"]
\RequirePackage{amsmath}
\RequirePackage{amsfonts}
\RequirePackage{amssymb}
\RequirePackage{amsthm}
\RequirePackage[dvips=false,pdftex=false,vtex=false,paperwidth=156mm,paperheight=234mm,width=118mm]{geometry}
\RequirePackage[dvips,a4,frame,center]{crop}

\newcommand{\OneLine}[1]{%
   \begingroup
      \def\\{\unskip\space \ignorespaces}%
      #1%
   \endgroup}

\newcommand{\clearemptydoublepage}%
   {\newpage\thispagestyle{empty}\cleardoublepage}

\renewcommand\frontmatter{\clearemptydoublepage%
                          \@mainmatterfalse
                          \pagestyle{headings}
                          \pagenumbering{roman}}

\renewcommand\mainmatter{\clearemptydoublepage%
                         \@mainmattertrue
                         \pagestyle{headings}
                         \pagenumbering{arabic}}

\renewcommand\backmatter{\clearemptydoublepage%
                         \@mainmatterfalse}

\newif\ifTitle
\renewcommand{\thanks}[1]{%
   \ifTitle{%
      \renewcommand{\thefootnote}{\fnsymbol{footnote}}%
      \footnote{#1}%
      \renewcommand{\thefootnote}{\arabic{footnote}}}%
   \else\null\fi}

\renewcommand{\title}[2]{%
   \gdef\@title{\OneLine{#2}}
   \gdef\@titledisplay{#2}
   \gdef\@shorttitle{#1}
}
\def\@title{}
\def\@titledisplay{}
\def\@shorttitle{}

\renewcommand{\author}[2]{%
   \gdef\@author{\OneLine{#2}}
   \gdef\@authordisplay{%
      \begingroup
         \let\@slashslash\\%
         \def\\{\@slashslash[1mm]}%
         #2%
      \endgroup}
   \gdef\@shortauthor{#1}
}
\def\@author{}
\def\@authordisplay{}
\def\@shortauthor{}

\newcommand{\address}[1]{\gdef\@address{#1}}
\def\@address{}

\newcommand{\email}[1]{\gdef\@email{\\[1mm]\texttt{#1}}}
\def\@email{}

\renewcommand{\maketitle}{%
   \Titletrue
   \refstepcounter{chapter}
   \thispagestyle{copy}%
   \begingroup
      \parindent 0pt
      \hrulefill \linebreak \null \vspace{-8pt}\par
      {\Large\textbf{\@titledisplay}

      }
      \vspace{5mm}
      {\large\@authordisplay}\\[3mm]
      \fontsize{8}{9}\selectfont\@address
      \@email\par
      \nobreak
      \hrulefill \linebreak \null \vspace{-8pt}\par
   \endgroup
   \vspace*{10pt}
   \@thanks
   \setcounter{footnote}{0}
}

\newcounter{article}

\newcommand{\article}{%
   \clearemptydoublepage
   \refstepcounter{article}
   \label{\thearticle-begin}
   \maketitle
   \Titlefalse
   \addcontentsline{toc}{chapter}%
      {\protect{\mbox{\emph{\@author}}}\protect\\ \protect{\mbox{\@title}}}
   \main
   \renewcommand{\leftmark}{\@shortauthor}
   \renewcommand{\rightmark}{\@shorttitle}
}

\newcommand{\includearticle}[1]{%
   \clearpage\begingroup\input{#1}\label{\thearticle-end}\endgroup\clearpage}

\newif\ifCollection

\def\publisher#1{\gdef\@publisher{#1}}
\def\@publisher{}

\def\seriestitle#1{\gdef\@seriestitle{#1}}
\def\@seriestitle{}

\def\editor#1{%
   \gdef\@editor{\OneLine{#1}}
   \gdef\@editordisplay{#1}
}
\def\@editor{}
\def\@editordisplay{}

\def\volumetitle#1{%
   \gdef\@volumetitle{\OneLine{#1}}
   \gdef\@volumedisplaytitle{#1}
}
\def\@volumetitle{}

\def\volumesubtitle#1{%
   \gdef\@volumesubtitle{\OneLine{#1}}
   \gdef\@volumedisplaysubtitle{#1}
}
\def\@volumesubtitle{}
\def\@volumedisplaysubtitle{}

\def\volumeyear#1{\gdef\@volumeyear{#1}}
\def\@volumeyear{}

\def\volumenumber#1{\gdef\@volumenumber{#1}}
\def\@volumenumber{}

\def\isbn#1{\gdef\@isbn{#1}}
\def\@isbn{}


\def\CopyrightContent{%
   \ifCollection{\parbox[t]{\textwidth}{%
      \scriptsize \@editor~(ed.). \textit{\@volumetitle{}. \@volumesubtitle{}.} \@seriestitle{} \@volumenumber, \@publisher{} \@volumeyear, pp.~\pageref{\thearticle-begin}--\pageref{\thearticle-end}.}}%
   \else\null\fi
}


\def\ps@copy{%
      \def\@oddfoot{\CopyrightContent}%
      \def\@evenfoot{\CopyrightContent}%
      \let\@evenhead\@empty%
      \let\@oddhead\@empty}

\def\ps@headings{%
      \let\@oddfoot\@empty%
      \let\@evenfoot\@empty%
      \def\@evenhead{\Titlefalse\fontsize{8}{9}\selectfont%
                     \thepage\hfil\leftmark}%
      \def\@oddhead{\Titlefalse\fontsize{8}{9}\selectfont%
                    \rightmark\hfil\thepage}}

\newtheoremstyle{tlg}%        name
                {\topsep}%    space above
                {\topsep}%    space below
                {\rm}%        body text
                {}%           indent
                {\bfseries}%  head text
                {.}%          punctuation after head
                {0.5em}%      space after head
                {}%           head spec

\theoremstyle{tlg}

\newtheorem{theorem}{Theorem}[section]
\newtheorem{example}[theorem]{Example}
\newtheorem{observation}[theorem]{Observation}
\newtheorem{fact}[theorem]{Fact}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{problem}[theorem]{Problem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{proposition}[theorem]{Proposition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{remark}[theorem]{Remark}
\newtheorem{notation}[theorem]{Notation}
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{exercise}[theorem]{Exercise}
\newtheorem{assumption}[theorem]{Assumption}
\newtheorem{conjecture}[theorem]{Conjecture}
\newtheorem{convention}[theorem]{Convention}
\newtheorem{claim}[theorem]{Claim}
\newtheorem{subclaim}[theorem]{Subclaim}

\renewcommand\thetheorem{\thesection.\arabic{theorem}}

\def\@removefromreset#1#2{{%
  \expandafter\let\csname c@#1\endcsname\@removefromreset
  \def\@elt##1{%
    \expandafter\ifx\csname c@##1\endcsname\@removefromreset
    \else
      \noexpand\@elt{##1}%
    \fi}%
  \expandafter\xdef\csname cl@#2\endcsname{%
    \csname cl@#2\endcsname}}}

\newcommand{\numberbyarticle}{%
   \@removefromreset{theorem}{section}
   \renewcommand\thetheorem{\arabic{theorem}}}

\renewcommand{\qed}{\rule{0mm}{1mm}\hfill{\footnotesize\textsc{q.e.d.}}}
\renewcommand{\qedsymbol}{\rule{0mm}{1mm}\hfill \textsc{q.e.d.}}

\newenvironment{proofof}[2][Proof]%
   {\begin{proof}[#1]%
    \renewcommand{\qed}{\rule{0mm}{1mm}\hfill{\footnotesize\textsc{q.e.d.}\ (#2)}}}
   {\end{proof}}

\renewcommand\contentsname{Table of Contents}

\renewcommand{\tableofcontents}{%
   \clearemptydoublepage
   \thispagestyle{empty}
   \begingroup
      \vspace*{1em}
      \parindent 0pt
      \hrulefill \linebreak \null \vspace{-8pt}\par
      {\Large\bfseries\contentsname

      }
      \nobreak
      \hrulefill \linebreak \null \vspace{-8pt}\par
   \endgroup
   \vskip3\baselineskip
   \@starttoc{toc}
   \pagestyle{headings}
   \markboth{\contentsname}{\contentsname}
   \clearemptydoublepage
}


\def\@makechapterhead#1{%
   \thispagestyle{empty}
   \vspace*{1em}
   \begingroup
      \parindent 0pt
      \hrulefill \linebreak \null \vspace{-8pt}\par
      \ifnum \c@secnumdepth >\m@ne
         \if@mainmatter
            {\Large\bfseries \@chapapp\space \thechapter

            }
         \fi
      \fi
      \interlinepenalty\@M
      {\Large\bfseries #1

      }
      \nobreak
      \hrulefill \linebreak \null \vspace{-8pt}\par
   \endgroup
   \vskip 40\p@
   \renewcommand{\leftmark}{\@chapapp\space \thechapter}
   \renewcommand{\rightmark}{#1}
}

\def\@makeschapterhead#1{%
   \thispagestyle{empty}
   \vspace*{1em}
   \begingroup
      \parindent 0pt
      \hrulefill \linebreak \null \vspace{-8pt}\par
      {\Large\bfseries #1

      }
      \nobreak
      \hrulefill \linebreak \null \vspace{-8pt}\par
   \endgroup
   \vskip 40\p@
   \renewcommand{\leftmark}{#1}
   \renewcommand{\rightmark}{#1}
}

\def\l@chapter#1#2{\addpenalty{-\@highpenalty}%
   \vskip 1.0em plus\p@
   \@tempdima 1.5em
   \begingroup
     \parindent \z@ \rightskip \@pnumwidth
     \parfillskip -\@pnumwidth
     \leavevmode
     #1 \dotfill #2\par
     \penalty\@highpenalty
   \endgroup}

\setcounter{secnumdepth}{5}

\def\thesection{\arabic{section}}  % blow away chapter numbers

\def\section{\@startsection{section}{1}{\z@}%
                           {-2ex plus -.5ex minus -.2ex}%
                           {.8ex plus .08ex}%
                           {\raggedright\large\bf}}
\def\subsection{\@startsection{subsection}{2}{\z@}%
                              {-1.5ex plus -.25ex minus -.1ex}%
                              {.6ex plus .06ex}%
                              {\raggedright\normalsize\bf}}

\def\subsubsection{\@startsection{subsubsection}{3}{\z@}%
                                 {-1ex plus -.15ex minus -.06ex}%
                                 {.4ex plus .04ex}%
                                 {\raggedright\normalsize\bf}}

\def\paragraph{\@startsection{paragraph}{4}{\z@}%
                             {.5ex plus .05ex minus .025ex}%
                             {-.66em}%
                             {\normalsize\bf}}

\def\subparagraph{\@startsection{subparagraph}{5}{\parindent}%
                                {.25ex plus .01ex minus .005ex}%
                                {-.66em}%
                                {\normalsize\bf}}

\renewcommand\appendix{\par
   \setcounter{section}{0}%
   \gdef\thesection{\appendixname{} \@Alph\c@section}}

\newcommand\main{\par
   \gdef\thesection{\@arabic\c@section}}

\@addtoreset{figure}{article}
\renewcommand\thefigure{\arabic{figure}}

\@addtoreset{table}{article}
\renewcommand\thetable{\arabic{table}}

\renewcommand{\bibname}{References}

\renewenvironment{thebibliography}[1]{%
   \vskip1cm
   \section*{\bibname}%
   \list{\@biblabel{\@arabic\c@enumiv}}%
        {\settowidth\labelwidth{\@biblabel{#1}}%
         \leftmargin\labelwidth
         \advance\leftmargin\labelsep
         \@openbib@code
         \usecounter{enumiv}%
         \let\p@enumiv\@empty
         \renewcommand\theenumiv{\@arabic\c@enumiv}}%
   \sloppy
   \clubpenalty4000
   \@clubpenalty \clubpenalty
   \widowpenalty4000%
   \sfcode`\.\@m}
   {\def\@noitemerr
      {\@latex@warning{Empty `thebibliography' environment}}%
   \endlist}

\newcommand\receivedtext{%
   \bigskip\noindent
   \begingroup
      \if!\@received!\else{\scriptsize Received: \@received}\\[-.3em] \fi
      \if!\@revised!\else{\scriptsize Revised: \@revised}\\[-.3em] \fi
      \if!\@accepted!\else{\scriptsize Accepted: \@accepted} \fi
    \endgroup
}

\def\received#1{\gdef\@received{#1}}
\def\revised#1{\gdef\@revised{#1}}
\def\accepted#1{\gdef\@accepted{#1}}

\newcommand\abstractname{Abstract}

\newenvironment{abstract}{%
   \small
   \begin{center}%
      {\bfseries \abstractname\vspace{-.5em}\vspace{\z@}}%
   \end{center}%
   \quotation}
   {\endquotation}

\long\def\@makecaption#1#2{%
   \vskip 10\p@
   \setbox\@tempboxa\hbox{#1. #2}%
   \ifdim \wd\@tempboxa >\hsize
       #1. #2\par
     \else
       \hbox to\hsize{\hfil\box\@tempboxa\hfil}%
   \fi}

\renewenvironment{quotation}%
                 {\list{}%
                    {\listparindent 1.5em%
                     \itemindent    \listparindent
                     \rightmargin   \leftmargin
                     \parsep        \z@ \@plus\p@}%
                  \small%
                  \item\relax}%
                 {\endlist}
\renewenvironment{quote}%
                 {\list{}%
                    {\rightmargin\leftmargin}%
                  \small%
                  \item\relax}%
                 {\endlist}
\endinput
%%
%% End of file `tlgart.sty'.
