src/HOL/Tools/recdef_package.ML
changeset 6520 08637598f7ec
parent 6478 48f90bc10cf5
child 6557 d7e7532c128a
equal deleted inserted replaced
6519:5bd1c469e742 6520:08637598f7ec
    20 end;
    20 end;
    21 
    21 
    22 structure RecdefPackage: RECDEF_PACKAGE =
    22 structure RecdefPackage: RECDEF_PACKAGE =
    23 struct
    23 struct
    24 
    24 
    25 (* FIXME tmp
       
    26 val quiet_mode = Tfl.quiet_mode;
    25 val quiet_mode = Tfl.quiet_mode;
    27 val message = Tfl.message;
    26 val message = Tfl.message;
    28 *)
       
    29 val quiet_mode = ref false;
       
    30 val message = writeln;
       
    31 
    27 
    32 
    28 
    33 
    29 
    34 (** theory data **)
    30 (** theory data **)
    35 
    31