src/CCL/Wfd.thy

--- a/src/CCL/Wfd.thy	Fri Oct 28 23:16:50 2011 +0200
+++ b/src/CCL/Wfd.thy	Fri Oct 28 23:41:16 2011 +0200
@@ -495,7 +495,7 @@
 ML {*
 
 local
-  structure Data = Named_Thms(val name = "eval" val description = "evaluation rules");
+  structure Data = Named_Thms(val name = @{binding eval} val description = "evaluation rules");
 in
 
 fun eval_tac ths =