1.1 --- a/src/Pure/Isar/specification.ML	Sat Mar 17 12:52:40 2012 +0100
     1.2 +++ b/src/Pure/Isar/specification.ML	Sat Mar 17 13:06:23 2012 +0100
     1.3 @@ -119,7 +119,8 @@
     1.4  
     1.5      val Asss =
     1.6        (map o map) snd raw_specss
     1.7 -      |> (burrow o burrow) (Par_List.map_name "Specification.parse_prop" (parse_prop params_ctxt));
     1.8 +      |> (burrow o burrow)
     1.9 +        (grouped 10 (Par_List.map_name "Specification.parse_prop") (parse_prop params_ctxt));
    1.10      val names = Variable.names_of (params_ctxt |> (fold o fold o fold) Variable.declare_term Asss)
    1.11        |> fold Name.declare xs;
    1.12      val Asss' = #1 ((fold_map o fold_map o fold_map) Term.free_dummy_patterns Asss names);