\section{Lambda-Kalkül}

\input{lambda/motiv}
\input{lambda/def}
\input{lambda/red}
\input{lambda/capture}
\input{lambda/rename}
\input{lambda/prop}
\input{lambda/comp}
\input{lambda/typ}
\input{lambda/compalg}


%%% Local Variables: 
%%% mode: latex
%%% TeX-master: "~/edu/ws06/sym/folien/sym"
%%% End: 
