--- a/ProgTutorial/Intro.thy	Mon May 18 05:21:40 2009 +0200
+++ b/ProgTutorial/Intro.thy	Sat May 23 02:19:54 2009 +0200
@@ -67,7 +67,7 @@
 
 *}
 
-section {* Typographic Conventions in the Tutorial *}
+section {* Typographic Conventions *}
 
 text {*
 
@@ -119,7 +119,7 @@
   to solve the exercises on your own, and then look at the solutions.
 *}
 
-section {* Naming Conventions in the Isabelle Sources *}
+section {* Some Naming Conventions in the Isabelle Sources *}
 
 text {*
   There are a few naming conventions in Isabelle that might aid reading