tuned;
authorwenzelm
Thu Oct 16 22:44:26 2008 +0200 (2008-10-16)
changeset 28617c9c1c8b28a62
parent 28616 ac1da69fbc5a
child 28618 fa09f7b8ffca
tuned;
src/Pure/context.ML
     1.1 --- a/src/Pure/context.ML	Thu Oct 16 22:44:25 2008 +0200
     1.2 +++ b/src/Pure/context.ML	Thu Oct 16 22:44:26 2008 +0200
     1.3 @@ -356,7 +356,7 @@
     1.4    in thy' end;
     1.5  
     1.6  fun maximal_thys thys =
     1.7 -  thys |> filter (fn thy => not (exists (fn thy' => proper_subthy (thy, thy')) thys));
     1.8 +  thys |> filter_out (fn thy => exists (fn thy' => proper_subthy (thy, thy')) thys);
     1.9  
    1.10  fun begin_thy pp name imports =
    1.11    if name = draftN then error ("Illegal theory name: " ^ quote draftN)