47 \newcommand{\solution}[1]{{\bf Solution for Exercise~\ref{#1}.}}

    47 \newcommand{\solution}[1]{{\bf Solution for Exercise~\ref{#1}.}}

    48 

    48 

    49 % a table environment with proper indentation

    49 % a table environment with proper indentation

    50 \newenvironment{mytable}{\begin{trivlist}\item\begin{tabular}{@{\hspace{2ex}}l}}{\end{tabular}\end{trivlist}}

    50 \newenvironment{mytable}{\begin{trivlist}\item\begin{tabular}{@{\hspace{2ex}}l}}{\end{tabular}\end{trivlist}}

    51 

    51 

    52 \hyphenation{Isabelle}

    53 \hyphenation{Isabelle}

    53 

    54 

    54 \begin{document}

    55 \begin{document}

    55 

    56 

    56 \title{\mbox{}\\[-10ex]

    57 \title{\mbox{}\\[-10ex]