
diff -r 930b1308fd96 -r 8f73e80c8c6f ProgTutorial/General.thy
--- 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




