--- a/ProgTutorial/FirstSteps.thy	Sun Nov 22 03:13:29 2009 +0100
+++ b/ProgTutorial/FirstSteps.thy	Sun Nov 22 15:27:10 2009 +0100
@@ -893,7 +893,7 @@
 *}
 
 local_setup %gray {* 
-  Local_Theory.define "" ((@{binding "TrueConj"}, NoSyn), 
+  Local_Theory.define ((@{binding "TrueConj"}, NoSyn), 
       (Attrib.empty_binding, @{term "True \<and> True"})) #> snd *}
 
 text {*