# HG changeset patch
# User wenzelm
# Date 925203008 -7200
# Node ID 08637598f7ec032357bb94004a20866a86aefa1e
# Parent  5bd1c469e742dccb2c1db5b4dc2b5eccf38f8fd4
proper quiet_mode;

diff -r 5bd1c469e742 -r 08637598f7ec src/HOL/Tools/recdef_package.ML
--- 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;