# HG changeset patch
# User wenzelm
# Date 1131550013 -3600
# Node ID 04f0e4ca1451ffd1865a347e8561f763525bcdac
# Parent  cb916659c89bcf92f62670c5a152c1b9d08d245e
tvars_intr_list: natural argument order;

diff -r cb916659c89b -r 04f0e4ca1451 src/Pure/Isar/proof_context.ML
--- 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;