--- a/src/Pure/Isar/specification.ML Wed Nov 12 11:39:27 2014 +0100
+++ b/src/Pure/Isar/specification.ML Wed Nov 12 18:18:38 2014 +0100
@@ -117,8 +117,7 @@
val Asss =
(map o map) snd raw_specss
- |> (burrow o burrow)
- (grouped 10 (Par_List.map_name "Specification.parse_prop") (parse_prop params_ctxt));
+ |> (burrow o burrow) (grouped 10 Par_List.map_independent (parse_prop params_ctxt));
val names = Variable.names_of (params_ctxt |> (fold o fold o fold) Variable.declare_term Asss)
|> fold Name.declare xs;
val Asss' = #1 ((fold_map o fold_map o fold_map) Term.free_dummy_patterns Asss names);