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

\title{CspCASL Shop Exampel}
\author{hets-devel@informatik.uni-bremen.de}

\begin{document}

\maketitle

\input{CspCASL/Shop/Shop.pp.tex}
\newpage
\input{CspCASL/Shop/Arch_Components.pp.tex}
\end{document}
