# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1245851939 -7200
# Node ID e0049c84278530b193e943ab2d337846e4f33154
# Parent  358f325f4db68397c3476ee1a922e5095cf4bcc0
adapted to changes in Isabelle

diff -r 358f325f4db6 -r e0049c842785 ProgTutorial/FirstSteps.thy
--- a/ProgTutorial/FirstSteps.thy	Tue Jun 23 04:05:01 2009 +0200
+++ b/ProgTutorial/FirstSteps.thy	Wed Jun 24 15:58:59 2009 +0200
@@ -2136,6 +2136,6 @@
 
 section {* Misc (TBD) *}
 
-ML {*Datatype.get_datatype @{theory} "List.list"*}
+ML {*Datatype.get_info @{theory} "List.list"*}
 
 end
diff -r 358f325f4db6 -r e0049c842785 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Tue Jun 23 04:05:01 2009 +0200
+++ b/ProgTutorial/Intro.thy	Wed Jun 24 15:58:59 2009 +0200
@@ -141,6 +141,12 @@
   \end{itemize}
 *}
 
+section {* Aaaaargh! My Code Does not Work Anymore (TBD) *}
+
+text {*
+  
+*}
+
 section {* Acknowledgements *}
 
 text {*
diff -r 358f325f4db6 -r e0049c842785 progtutorial.pdf
Binary file progtutorial.pdf has changed