# HG changeset patch # User Christian Urban <urbanc@in.tum.de> # Date 1340114640 -3600 # Node ID 9e191bc4a82834b72161e097ea09ae8398d883c4 # Parent 92a3600e50e4422c885bc2e13d0c7edb09c4c4d8 polished diff -r 92a3600e50e4 -r 9e191bc4a828 ProgTutorial/Intro.thy --- a/ProgTutorial/Intro.thy Tue Jun 19 15:02:22 2012 +0100 +++ b/ProgTutorial/Intro.thy Tue Jun 19 15:04:00 2012 +0100 @@ -296,11 +296,11 @@ \item {\bf Armin Heller} helped with recipe \ref{rec:sat}. + \item {\bf Rafal Kolanski} contributed to recipe \ref{rec:introspection}. + \item {\bf Alexander Krauss} wrote a very early version of the ``first-steps'' chapter and also contributed the material on @{ML_funct Named_Thms}. - \item {\bf Rafal Kolanski} contributed to recipe \ref{rec:introspection}. - \item {\bf Tobias Nipkow} contributed recipe \ref{rec:callml}. \item {\bf Michael Norrish} proofread parts of the text. diff -r 92a3600e50e4 -r 9e191bc4a828 progtutorial.pdf Binary file progtutorial.pdf has changed