--- a/ProgTutorial/Advanced.thy	Wed Nov 30 13:35:10 2011 +0000
+++ b/ProgTutorial/Advanced.thy	Mon Jan 16 07:40:17 2012 +0000
@@ -32,7 +32,7 @@
   parallel.
 *}
 
-section {* Theories and Setups\label{sec:theories} *}
+section {* Theories\label{sec:theories} *}
 
 text {*
   Theories, as said above, are the most basic layer of abstraction in