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;