diff -r e8597242f649 -r 383f512314b9 src/Pure/goal.ML
--- a/src/Pure/goal.ML	Tue Sep 23 22:04:30 2008 +0200
+++ b/src/Pure/goal.ML	Tue Sep 23 23:07:48 2008 +0200
@@ -182,7 +182,7 @@
     |> map Drule.zero_var_indexes
   end;
 
-val prove_multi = prove_common false;
+val prove_multi = prove_common true;
 
 fun prove_promise ctxt xs asms prop tac = hd (prove_common false ctxt xs asms [prop] tac);
 fun prove ctxt xs asms prop tac = hd (prove_common true ctxt xs asms [prop] tac);