temporarily fake quiet_mode;

--- a/src/HOL/Tools/recdef_package.ML	Tue Apr 20 15:19:52 1999 +0200
+++ b/src/HOL/Tools/recdef_package.ML	Tue Apr 20 15:20:27 1999 +0200
@@ -22,8 +22,12 @@
 structure RecdefPackage: RECDEF_PACKAGE =
 struct
 
+(* FIXME tmp
 val quiet_mode = Tfl.quiet_mode;
 val message = Tfl.message;
+*)
+val quiet_mode = ref false;
+val message = writeln;