changeset 55599 | 6535c537b243 |
parent 48891 | c0eafbd55de3 |
child 55600 | 3c7610b8dcfc |
--- a/src/HOL/ex/Interpretation_with_Defs.thy Thu Feb 20 12:27:51 2014 +1100 +++ b/src/HOL/ex/Interpretation_with_Defs.thy Wed Feb 19 22:05:05 2014 +0100 @@ -6,6 +6,7 @@ theory Interpretation_with_Defs imports Pure +keywords "permanent_interpretation" :: thy_goal begin ML_file "~~/src/Tools/interpretation_with_defs.ML"