diff -r d770a7b31aeb -r 633d3f013be2 ProgTutorial/Advanced.thy
--- 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