# HG changeset patch
# User wenzelm
# Date 1141503009 -3600
# Node ID 9fb741abb008c62d944434e55d238bdf3991ef68
# Parent  3e30297e13004e971b90e02fe5a0967f1e968333
tuned conj_curry;

diff -r 3e30297e1300 -r 9fb741abb008 src/Pure/tactic.ML
--- a/src/Pure/tactic.ML	Sat Mar 04 21:10:08 2006 +0100
+++ b/src/Pure/tactic.ML	Sat Mar 04 21:10:09 2006 +0100
@@ -657,12 +657,12 @@
 fun CONJUNCTS tac =
   SELECT_GOAL (conjunction_tac 1
     THEN tac
-    THEN PRIMITIVE Drule.conj_curry);
+    THEN PRIMITIVE (Drule.conj_uncurry ~1));
 
 fun PRECISE_CONJUNCTS n tac =
   SELECT_GOAL (precise_conjunction_tac n 1
     THEN tac
-    THEN PRIMITIVE Drule.conj_curry);
+    THEN PRIMITIVE (Drule.conj_uncurry ~1));
 
 end;