changeset 58256 | 08c0f0d4b9f4 |
parent 58234 | 265aea1e9985 |
child 58284 | f9b6af3017fd |
--- a/src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML Tue Sep 09 20:51:36 2014 +0200 +++ b/src/HOL/Tools/Ctr_Sugar/ctr_sugar.ML Tue Sep 09 20:51:36 2014 +0200 @@ -1088,6 +1088,6 @@ -- parse_sel_default_eqs >> free_constructors_cmd); -val _ = Context.>> (Context.map_theory Ctr_Sugar_Interpretation.init); +val _ = Theory.setup Ctr_Sugar_Interpretation.init; end;