\section{Polymorphe Typen}

\input{poly/basic}
\input{poly/bei}
\input{poly/regel}
\input{type/hilbert}
\input{poly/dep}