Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Meson/meson_tactic.ML
changeset 67149 e61557884799
parent 58817 4cd778c91fdc
child 74051 bd575b1bd9bf 
--- a/src/HOL/Tools/Meson/meson_tactic.ML	Wed Dec 06 19:34:59 2017 +0100
+++ b/src/HOL/Tools/Meson/meson_tactic.ML	Wed Dec 06 20:43:09 2017 +0100
@@ -19,7 +19,7 @@
 
 val _ =
   Theory.setup
-    (Method.setup @{binding meson} (Attrib.thms >> (fn ths => fn ctxt =>
+    (Method.setup \<^binding>\<open>meson\<close> (Attrib.thms >> (fn ths => fn ctxt =>
       SIMPLE_METHOD' (CHANGED_PROP o meson_general_tac ctxt ths)))
       "MESON resolution proof procedure")
isabelle