eliminated Code_Generator.thy
authorhaftmann
Tue Jun 05 19:22:01 2007 +0200 (2007-06-05)
changeset 232620fafccb015e6
parent 23261 85f27f79232f
child 23263 0c227412b285
eliminated Code_Generator.thy
src/HOL/Tools/meson.ML
     1.1 --- a/src/HOL/Tools/meson.ML	Tue Jun 05 19:19:30 2007 +0200
     1.2 +++ b/src/HOL/Tools/meson.ML	Tue Jun 05 19:22:01 2007 +0200
     1.3 @@ -238,7 +238,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","Code_Generator.eq_class","ProtoPure.term"?*)
     1.8 +  "HOL.type_class","HOL.eq_class","ProtoPure.term"?*)
     1.9  val has_meta_conn = 
    1.10      exists_Const (member (op =) ["==", "==>", "all", "prop"] o #1);
    1.11