%=====================================================================================================================================
% Package akkmathpaper by Igor Akkerman (c) 2000, 2001, 2002, 2003, 2004, 2005
% Package providing utilities for typesetting mathematical papers as lecture scripts.
%
% This work may be distributed and/or modified under the
% conditions of the LaTeX Project Public License (latest version).
%
% The latest version of this license can be found at
%     http://www.latex-project.org/lppl.txt
%
% This file may only be distributed together with the full 'AkkTeX' bundle.
%=====================================================================================================================================
\NeedsTeXFormat{LaTeX2e}[1995/12/01]
\ProvidesPackage{akkmathpaper}[2005/04/30 1.1.0 by Igor Akkerman (c) 2000, 2001, 2002, 2003, 2004, 2005 Package providing utilities for typesetting mathematical papers as lecture scripts]
%=====================================================================================================================================

\makeatletter

%-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
% axiom list environment
%
% \begin{axiomlist}[<startindex>]{<axiomletter(s)>}
%     \item <axiom1>
%     \item <axiom2>
%     ...
% \end{axiomlist}
%
% use axiomlist* for more than 9 axioms
\newcounter{axiom}

\newenvironment{axiomlist}[2][1]{%
    \begin{list}{%
        \textbf{(#2\arabic{axiom})}%
    }{%
        \renewcommand \axiomlabel {#2}%
        \usecounter{axiom}\setcounter{axiom}{#1}\addtocounter{axiom}{-1}%
        \setlength \itemindent {0pt}%
        \settowidth \labelsep {\quad}%
        \settowidth \labelwidth {\textbf{(#2#1)}}%
        \setlength \leftmargin {\labelwidth}%
        \addtolength \leftmargin {\labelsep}%
        \setlength \listparindent {0pt}%
    }%
}{%
    \end{list}%
}

\newenvironment {axiomlist*}[2][1] {%
    \begin{list}{%
        \textbf{(#2\arabic{axiom})}%
    }{%
        \renewcommand \axiomlabel {#2}%
        \usecounter{axiom}\setcounter{axiom}{#1}\addtocounter{axiom}{-1}%
        \setlength \itemindent {0pt}%
        \settowidth \labelsep {\quad}%
        \settowidth \labelwidth {\textbf{(#288)}}%
        \setlength \leftmargin {\labelwidth}%
        \addtolength \leftmargin {\labelsep}%
        \setlength \listparindent {0pt}%
    }%
}{%
    \end{list}%
}

\newcommand \axiom {%
    \item%
    \edef \@currentlabel {(\axiomlabel\theaxiom)}%
}

\newcommand \axiomlabel {}
%-------------------------------------------------------------------------------------------------------------------------------------------------------------------------------

\newcommand \xlabel[2] {%
    \edef \@currentlabel {#2}%
    \label{#1}%
}

\newcommand \texttag[2] {%
    \xlabel{#1}{#2}%
    \hfill #2%
}

\makeatother
