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.
tvars_intr_list: natural argument order;
authorwenzelm
Wed, 09 Nov 2005 16:26:53 +0100
changeset 18138 04f0e4ca1451
parent 18137 cb916659c89b
child 18139 b15981aedb7b
tvars_intr_list: natural argument order;
src/Pure/Isar/proof_context.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof_context.ML	Wed Nov 09 16:26:52 2005 +0100
+++ b/src/Pure/Isar/proof_context.ML	Wed Nov 09 16:26:53 2005 +0100
@@ -732,7 +732,7 @@
         rule
         |> Drule.forall_intr_list frees
         |> Goal.norm_hhf
-        |> (#1 o Drule.tvars_intr_list tfrees)
+        |> Drule.tvars_intr_list tfrees |> #2
       end)
   end;
isabelle