Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Thu, 21 Aug 2014 09:48:59 +0200
changeset 58024 ff55b42303bc
parent 58019 8179d1369567
child 58025 d41e3d0ac50c
tuned;
src/Pure/Isar/method.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/method.ML	Wed Aug 20 20:50:28 2014 +0200
+++ b/src/Pure/Isar/method.ML	Thu Aug 21 09:48:59 2014 +0200
@@ -280,7 +280,7 @@
       let
         val context' = context |>
           ML_Context.expression (#pos source)
-            "fun tactic (morphism: morphism) (facts: thm list) : tactic"
+            "fun tactic (morphism: Morphism.morphism) (facts: thm list) : tactic"
             "Method.set_tactic tactic" (ML_Lex.read_source false source);
         val tac = the_tactic context';
       in
isabelle