
diff -r 4ae1ecb71539 -r 163ac0662211 ProgTutorial/Intro.thy
--- a/ProgTutorial/Intro.thy	Wed Oct 07 09:54:01 2009 +0200
+++ b/ProgTutorial/Intro.thy	Wed Oct 07 11:28:40 2009 +0200
@@ -229,7 +229,7 @@
 
   \vspace{5cm}
   {\Large\bf
-  This document is still in the process of being written! All of the
+  This tutorial is still in the process of being written! All of the
   text is still under construction. Sections and 
   chapters that are under \underline{heavy} construction are marked 
   with TBD.}




