1.1 --- a/src/HOL/Tools/meson.ML	Mon Oct 16 14:07:21 2006 +0200
     1.2 +++ b/src/HOL/Tools/meson.ML	Mon Oct 16 14:07:31 2006 +0200
     1.3 @@ -204,7 +204,7 @@
     1.4  fun resop nf [prem] = resolve_tac (nf prem) 1;
     1.5  
     1.6  (*Any need to extend this list with 
     1.7 -  "HOL.type_class","OperationalEquality.eq_class","ProtoPure.term"?*)
     1.8 +  "HOL.type_class","Code_Generator.eq_class","ProtoPure.term"?*)
     1.9  val has_meta_conn = 
    1.10      exists_Const (fn (c,_) => c mem_string ["==", "==>", "all", "prop"]);
    1.11