\documentclass[12pt,a4paper]{article}
\usepackage[utf8]{inputenc}
\usepackage{german}
\usepackage{verbatim}
\usepackage{amsmath}

\usepackage[top=1.2in]{geometry}

\input{header}



\begin{document}

\header{Seite 1/6}

% \input{formal}


% \input{intro}
% \input{lxmp}
% \input{allg}
% \input{sprachen}
% \input{daten}

% \input{regexp3}

\input{cfg}



% \input{formal}

\nheader{Seite 2/6}
% \input{delse}
% \input{arith}
% \input{logik}

\input{formal2}

\nheader{Seite 3/6}
\input{type2}
\input{type}
% \input{neben}
% \input{anwau}
% \input{type}
% \input{keller}


\nheader{Seite 4/6}
\input{chain2}
% \input{bool}
% \input{switch}



\nheader{Seite 5/6}
\input{call}
% \input{modul}
% \input{closure}

% \input{abstrakt}

\nheader{Seite 6/6}

% \input{dynstat}

% \input{poly1}
% \input{poly2}




\input{overload}

\bigskip\hrule\bigskip

\begin{itemize}
\item (Zusatz:) Spursprache von
\begin{verbatim}
while (P) { A; if (Q) { B; } else { break; } C; }
\end{verbatim}
  \punkte 5
\end{itemize}


\end{document}

