src/Pure/context.ML
changeset 28617 c9c1c8b28a62
parent 28375 c879d88d038a
child 29001 b97a3f808133
     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)