12   Isabelle programming, and also explain tricks of the trade. The best way to

    12   Isabelle programming, and also explain tricks of the trade. The best way to

    13   get to know the ML-level of Isabelle is by experimenting with the many code

    13   get to know the ML-level of Isabelle is by experimenting with the many code

    14   examples included in the tutorial. The code is as far as possible checked

    14   examples included in the tutorial. The code is as far as possible checked

    15   against recent versions of Isabelle.  If something does not work, then

    15   against recent versions of Isabelle.  If something does not work, then

    16   please let us know. If you have comments, criticism or like to add to the

    16   please let us know. If you have comments, criticism or like to add to the

    18 *}

    19 *}

    19 

    20 

    20 section {* Intended Audience and Prior Knowledge *}

    21 section {* Intended Audience and Prior Knowledge *}

    21 

    22 

    22 text {* 

    23 text {* 

   129 

   130 

   130   \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' 

   131   \item {\bf Alexander Krauss} wrote the first version of the ``first-steps'' 

   131   chapter and also contributed recipe \ref{rec:named}.

   132   chapter and also contributed recipe \ref{rec:named}.

   132   \end{itemize}

   133   \end{itemize}

   133 

   134 

   136 *}

   137 *}

   137 

   138 

   138 end

   139 end