1.1 --- a/src/HOL/Tools/meson.ML	Thu Mar 27 14:41:07 2008 +0100
     1.2 +++ b/src/HOL/Tools/meson.ML	Thu Mar 27 14:41:09 2008 +0100
     1.3 @@ -291,7 +291,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","HOL.eq_class","ProtoPure.term"?*)
     1.8 +  "HOL.type_class","HOL.eq_class","Pure.term"?*)
     1.9  val has_meta_conn =
    1.10      exists_Const (member (op =) ["==", "==>", "all", "prop"] o #1);
    1.11