tuned;
authorwenzelm
Sun Aug 18 23:37:38 2013 +0200 (2013-08-18)
changeset 53080d815e25ead03
parent 53079 ade63ccd6f4e
child 53081 2a62d848a56a
tuned;
src/HOL/Word/Word.thy
     1.1 --- a/src/HOL/Word/Word.thy	Sun Aug 18 22:44:39 2013 +0200
     1.2 +++ b/src/HOL/Word/Word.thy	Sun Aug 18 23:37:38 2013 +0200
     1.3 @@ -4646,9 +4646,9 @@
     1.4  
     1.5  declare bin_to_bl_def [simp]
     1.6  
     1.7 -ML_file "~~/src/HOL/Word/Tools/word_lib.ML"
     1.8 -ML_file "~~/src/HOL/Word/Tools/smt_word.ML"
     1.9 -setup {* SMT_Word.setup *}
    1.10 +ML_file "Tools/word_lib.ML"
    1.11 +ML_file "Tools/smt_word.ML"
    1.12 +setup SMT_Word.setup
    1.13  
    1.14  hide_const (open) Word
    1.15