src/HOL/Tools/recdef_package.ML
changeset 6458 13c779aec65a
parent 6439 7eea9f25dc49
child 6478 48f90bc10cf5
     1.1 --- a/src/HOL/Tools/recdef_package.ML	Tue Apr 20 15:19:52 1999 +0200
     1.2 +++ b/src/HOL/Tools/recdef_package.ML	Tue Apr 20 15:20:27 1999 +0200
     1.3 @@ -22,8 +22,12 @@
     1.4  structure RecdefPackage: RECDEF_PACKAGE =
     1.5  struct
     1.6  
     1.7 +(* FIXME tmp
     1.8  val quiet_mode = Tfl.quiet_mode;
     1.9  val message = Tfl.message;
    1.10 +*)
    1.11 +val quiet_mode = ref false;
    1.12 +val message = writeln;
    1.13  
    1.14  
    1.15