src/HOL/Tools/recdef_package.ML
changeset 6520 08637598f7ec
parent 6478 48f90bc10cf5
child 6557 d7e7532c128a
--- 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;