| changeset 6458 | 13c779aec65a |
| parent 6439 | 7eea9f25dc49 |
| child 6478 | 48f90bc10cf5 |
--- 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;