| changeset 53080 | d815e25ead03 |
| parent 53062 | 3af1a6020014 |
| child 54221 | 56587960e444 |
--- a/src/HOL/Word/Word.thy Sun Aug 18 22:44:39 2013 +0200 +++ b/src/HOL/Word/Word.thy Sun Aug 18 23:37:38 2013 +0200 @@ -4646,9 +4646,9 @@ declare bin_to_bl_def [simp] -ML_file "~~/src/HOL/Word/Tools/word_lib.ML" -ML_file "~~/src/HOL/Word/Tools/smt_word.ML" -setup {* SMT_Word.setup *} +ML_file "Tools/word_lib.ML" +ML_file "Tools/smt_word.ML" +setup SMT_Word.setup hide_const (open) Word