--- 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 {*