
diff -r 547460dc5c1e -r 629a4c5e953e src/CCL/Wfd.thy
--- a/src/CCL/Wfd.thy	Mon May 23 20:45:10 2016 +0200
+++ b/src/CCL/Wfd.thy	Mon May 23 21:30:30 2016 +0200
@@ -47,7 +47,7 @@
   done
 
 method_setup wfd_strengthen = \<open>
-  Scan.lift Args.name_inner_syntax >> (fn s => fn ctxt =>
+  Scan.lift Args.embedded_inner_syntax >> (fn s => fn ctxt =>
     SIMPLE_METHOD' (fn i =>
       Rule_Insts.res_inst_tac ctxt [((("Q", 0), Position.none), s)] [] @{thm wfd_strengthen_lemma} i
         THEN assume_tac ctxt (i + 1)))




