--- a/ProgTutorial/Intro.thy	Mon Aug 03 16:47:01 2009 +0200
+++ b/ProgTutorial/Intro.thy	Tue Aug 04 16:18:39 2009 +0200
@@ -4,6 +4,7 @@
 
 chapter {* Introduction *}
 
+
 text {*
    \begin{flushright}
   {\em