| changeset 28341 | 383f512314b9 |
| parent 28340 | e8597242f649 |
| child 28355 | b9d9360e2440 |
--- 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);