--- a/ProgTutorial/Advanced.thy	Sun Dec 06 14:26:14 2009 +0100
+++ b/ProgTutorial/Advanced.thy	Fri Jan 01 00:19:11 2010 +0100
@@ -127,6 +127,10 @@
 
 section {* Contexts (TBD) *}
 
+ML_command "ProofContext.debug := true"
+ML_command "ProofContext.verbose := true"
+
+
 section {* Local Theories (TBD) *}
 
 text {*