diff -r fea1b7ce5c4a -r 25371f74c768 ProgTutorial/Advanced.thy
--- a/ProgTutorial/Advanced.thy	Mon Oct 17 13:30:49 2011 +0100
+++ b/ProgTutorial/Advanced.thy	Wed Oct 26 12:59:44 2011 +0100
@@ -127,8 +127,8 @@
 
 section {* Contexts (TBD) *}
 
-ML{*ProofContext.debug*}
-ML{*ProofContext.verbose*}
+ML{*Proof_Context.debug*}
+ML{*Proof_Context.verbose*}
 
 
 section {* Local Theories (TBD) *}