changeset 6458 | 13c779aec65a |
parent 6439 | 7eea9f25dc49 |
child 6478 | 48f90bc10cf5 |
6457:837e645e14bd | 6458:13c779aec65a |
---|---|
20 end; |
20 end; |
21 |
21 |
22 structure RecdefPackage: RECDEF_PACKAGE = |
22 structure RecdefPackage: RECDEF_PACKAGE = |
23 struct |
23 struct |
24 |
24 |
25 (* FIXME tmp |
|
25 val quiet_mode = Tfl.quiet_mode; |
26 val quiet_mode = Tfl.quiet_mode; |
26 val message = Tfl.message; |
27 val message = Tfl.message; |
28 *) |
|
29 val quiet_mode = ref false; |
|
30 val message = writeln; |
|
27 |
31 |
28 |
32 |
29 |
33 |
30 (** theory data **) |
34 (** theory data **) |
31 |
35 |