\documentclass[a4paper,11pt]{article}

\usepackage{hyperlatex-2.2}
\usepackage{epsfig}

\title{Specification of a Polynomial Prover in THEOREMA by Example Proofs}
\author{Robert Pollak}
\date{\today}

\T\pagestyle{headings}
\T\setlength{\parindent}{0pt}
\T\setlength{\parskip}{\medskipamount}
\T\setlength{\exampleindent}{1cm}

\htmltitle{Specification of a Polynomial Prover in THEOREMA by Example Proofs}

\htmlattributes{BODY}{bgcolor="#ffffff" text="#000000" link="#0000ff"
  vlink="#551A8B" alink="#ff0000" }

\htmllevel{html3.2}
\htmldepth{3}
\htmlname{index}
\htmlautomenu{1}

\newcommand{\toppanel}{
\html{table width=100\%}
\html{tr}
\html{td}
    \EmptyP{\HlxPrevUrl\HlxUpUrl\HlxNextUrl}{%
    \EmptyP{\HlxPrevUrl}
    {\xlink{\htmlimage[ALT=previous]{\HlxIcons{}previous.xbm}}{\HlxPrevUrl}}
    {\htmlimage[ALT=previous]{\HlxIcons{}previous.xbm}}
    \EmptyP{\HlxUpUrl}
    {\xlink{\htmlimage[ALT=up]{\HlxIcons{}up.xbm}}{\HlxUpUrl}}
    {\htmlimage[ALT=up]{\HlxIcons{}up.xbm}}
    \EmptyP{\HlxNextUrl}
    {\xlink{\htmlimage[ALT=next]{\HlxIcons{}next.xbm}}{\HlxNextUrl}}
    {\htmlimage[ALT=next]{\HlxIcons{}next.xbm}}\\
    \EmptyP{\HlxPrevUrl}
    {\textbf{Go backward to }\xlink{\HlxPrevTitle}{\HlxPrevUrl}\\}{}%
    \EmptyP{\HlxUpUrl}
    {\textbf{Go up to }\xlink{\HlxUpTitle}{\HlxUpUrl}\\}{}%
    \EmptyP{\HlxNextUrl}
    {\textbf{Go forward to }\xlink{\HlxNextTitle}{\HlxNextUrl}\\}{}}
{
 \html{h1}
 Specification of a Polynomial Prover in THEOREMA by Example Proofs
 \html{/h1}
}
\html{td}
\html{img align=right alt="RISC-Linz logo" src="/images/risc-logo.gif"}
\html{/table}
\htmlrule{}
}
 
\htmladdress{ Maintained by: \xlink{The System Administration}{mailto:The.System.Administration@risc.uni-linz.ac.at}
  \\ Last Modification: \today }

\newcommand{\bottommatter}{%
  \HlxBlk\htmlrule\EmptyP{\HlxAddress}
  {\html{ADDRESS}\HlxAddress\HlxBlk\html{/ADDRESS}}{}\htmlrule}
\newcommand{\bottompanel}{
    \EmptyP{\HlxPrevUrl\HlxUpUrl\HlxNextUrl}{%
    \EmptyP{\HlxPrevUrl}
    {\xlink{\htmlimage[ALT=previous]{\HlxIcons{}previous.xbm}}{\HlxPrevUrl}}
    {\htmlimage[ALT=previous]{\HlxIcons{}previous.xbm}}
    \EmptyP{\HlxUpUrl}
    {\xlink{\htmlimage[ALT=up]{\HlxIcons{}up.xbm}}{\HlxUpUrl}}
    {\htmlimage[ALT=up]{\HlxIcons{}up.xbm}}
    \EmptyP{\HlxNextUrl}
    {\xlink{\htmlimage[ALT=next]{\HlxIcons{}next.xbm}}{\HlxNextUrl}}
    {\htmlimage[ALT=next]{\HlxIcons{}next.xbm}}}
  {
    \EmptyP{\HlxUpUrl}{\xlink{[Up]}{\HlxUpUrl}}{[\xlink{Up}{..}]
    [\xlink{RISC-Linz}{/}] [\xlink{University}{http://www.uni-linz.ac.at}]
    [\xlink{Search}{/about/}]}
  }
}
 
\begin{document}
\T\maketitle

\input{97-23.tex}

\end{document}
