src/HOL/Tools/meson.ML
changeset 38622 86fc906dcd86
parent 38557 9926c47ad1a1
child 38623 08a789ef8044
     1.1 --- a/src/HOL/Tools/meson.ML	Fri Aug 20 17:46:56 2010 +0200
     1.2 +++ b/src/HOL/Tools/meson.ML	Fri Aug 20 17:48:30 2010 +0200
     1.3 @@ -411,7 +411,7 @@
     1.4        (fn (c,T) => not(is_conn c) andalso exists has_bool (binder_types T));
     1.5  
     1.6  (*A higher-order instance of a first-order constant? Example is the definition of
     1.7 -  one, 1, at a function type in theory SetsAndFunctions.*)
     1.8 +  one, 1, at a function type in theory Function_Algebras.*)
     1.9  fun higher_inst_const thy (c,T) =
    1.10    case binder_types T of
    1.11        [] => false (*not a function type, OK*)