src/HOL/Tools/meson.ML
changeset 34974 18b41bba42b5
parent 33832 cff42395c246
child 35410 1ea89d2a1bd4
     1.1 --- a/src/HOL/Tools/meson.ML	Thu Jan 28 11:48:43 2010 +0100
     1.2 +++ b/src/HOL/Tools/meson.ML	Thu Jan 28 11:48:49 2010 +0100
     1.3 @@ -403,7 +403,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 -  HOL.one, 1, at a function type in theory SetsAndFunctions.*)
     1.8 +  one, 1, at a function type in theory SetsAndFunctions.*)
     1.9  fun higher_inst_const thy (c,T) =
    1.10    case binder_types T of
    1.11        [] => false (*not a function type, OK*)