\section{Abstraktion und Kapselung}

\input{abstrakt/intro}
\input{abstrakt/poly}




\input{abstrakt/inter}



\input{abstrakt/algebra}
\input{abstrakt/sig}
\input{abstrakt/axiom}

% \input{abstrakt/sort}

\input{abstrakt/erb}


% \input{abstrakt/constraint}
% \input{abstrakt/pattern}

% \input{abstrakt/hide}
% \input{abstrakt/prop}

\input{abstrakt/sep}
\input{abstrakt/sicht}
\input{abstrakt/name}





