1.1 --- a/src/Pure/Isar/locale.ML	Sat Mar 17 10:54:15 2012 +0100
     1.2 +++ b/src/Pure/Isar/locale.ML	Sat Mar 17 10:55:08 2012 +0100
     1.3 @@ -406,7 +406,7 @@
     1.4        | SOME export => collect_mixins context (name, morph $> export) $> export);
     1.5      val morph' = transfer input $> morph $> mixin;
     1.6      val notes' =
     1.7 -      grouped 50 Par_List.map
     1.8 +      grouped 100 Par_List.map
     1.9          (Element.transform_ctxt morph' o Notes o #1) (#notes (the_locale thy name));
    1.10    in
    1.11      fold_rev (fn elem => fn res => activ_elem (Element.transform_ctxt (transfer res) elem) res)