\documentclass{article}
\usepackage{hetcasl}
\usepackage{textcomp}
\usepackage[T1]{fontenc}

\title{HasCASL Metatheory Libraries}
\author{hets-devel@informatik.uni-bremen.de}

\begin{document}

\maketitle

\input{HasCASL/Metatheory/Coproduct.pp.tex}
\newpage
\input{HasCASL/Metatheory/Functor.pp.tex}
\newpage
\input{HasCASL/Metatheory/Monad.pp.tex}
\newpage
\input{HasCASL/Metatheory/Ord.pp.tex}
\newpage
\input{HasCASL/Metatheory/Recursion.pp.tex}
\newpage
\input{HasCASL/Metatheory/Interpreter.pp.tex}
\newpage
\input{HasCASL/Metatheory/Iteration.pp.tex}
\newpage
\input{HasCASL/Metatheory/Hoare.pp.tex}
\end{document}

%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End:
