140        The Isabelle Programming Tutorial (draft)}

   140        The Isabelle Programming Tutorial (draft)}

   141 

   141 

   142 \author{by Christian Urban with contributions from:\\[2ex] 

   142 \author{by Christian Urban with contributions from:\\[2ex] 

   143         \begin{tabular}{r@{\hspace{1.8mm}}l}

   143         \begin{tabular}{r@{\hspace{1.8mm}}l}

   144         Stefan & Berghofer\\

   144         Stefan & Berghofer\\

   145         Sascha & Böhme\\

   146         Sascha & Böhme\\

   146         Jeremy & Dawson\\

   147         Jeremy & Dawson\\

   147         Alexander & Krauss\\ 

   148         Alexander & Krauss\\ 

   148         \end{tabular}}

   149         \end{tabular}}

   149 

   150