| changeset 64556 | 851ae0e7b09c |
| parent 63821 | 52235c27538c |
| child 67627 | 5cca859b2d2e |
--- a/src/Pure/Isar/local_defs.ML Mon Dec 12 17:40:06 2016 +0100 +++ b/src/Pure/Isar/local_defs.ML Tue Dec 13 11:51:42 2016 +0100 @@ -207,7 +207,7 @@ (* unfold object-level rules *) -val unfold_abs_def_raw = Config.declare ("unfold_abs_def", @{here}) (K (Config.Bool true)); +val unfold_abs_def_raw = Config.declare ("unfold_abs_def", \<^here>) (K (Config.Bool true)); val unfold_abs_def = Config.bool unfold_abs_def_raw; local