changeset 542 | 4b96e3c8b33e |
parent 540 | d144fc51fe04 |
child 553 | c53d74b34123 |
--- a/ProgTutorial/Intro.thy Mon Dec 31 20:20:55 2012 +0000 +++ b/ProgTutorial/Intro.thy Mon Feb 25 00:33:48 2013 +0000 @@ -296,6 +296,8 @@ \item {\bf Jeremy Dawson} wrote the first version of chapter \ref{chp:parsing} about parsing. + \item {\bf Florian Haftmann} helped with maintaining recipe \ref{rec:callml}. + \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. \item {\bf Rafal Kolanski} contributed to the ``introspection'' of theorems