--- a/ProgTutorial/Advanced.thy	Sat Jan 21 15:16:04 2012 +0000
+++ b/ProgTutorial/Advanced.thy	Sat Jan 21 15:18:38 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