src/CCL/Wfd.thy
changeset 45294 3c5d3d286055
parent 42364 8c674b3b8e44
child 47432 e1576d13e933
--- 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 =