proper quiet_mode;

--- a/src/HOL/Tools/recdef_package.ML	Tue Apr 27 10:49:52 1999 +0200
+++ b/src/HOL/Tools/recdef_package.ML	Tue Apr 27 10:50:08 1999 +0200
@@ -22,12 +22,8 @@
 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;