--- a/ProgTutorial/General.thy	Sun Oct 11 16:30:59 2009 +0200
+++ b/ProgTutorial/General.thy	Sun Oct 11 22:45:29 2009 +0200
@@ -2,7 +2,7 @@
 imports Base FirstSteps
 begin
 
-chapter {* Isabelle -- The Good, the Bad and the Ugly *}
+chapter {* Let's Talk About the Good, the Bad and the Ugly *}
 
 text {*
   Isabelle is build around a few central ideas. One is the LCF-approach to