src/HOL/Word/Word.thy
changeset 58061 3d060f43accb
parent 58056 fc6dd578d506
child 58410 6d46ad54a2ab
     1.1 --- a/src/HOL/Word/Word.thy	Thu Aug 28 00:40:38 2014 +0200
     1.2 +++ b/src/HOL/Word/Word.thy	Thu Aug 28 00:40:38 2014 +0200
     1.3 @@ -4753,7 +4753,7 @@
     1.4  declare bin_to_bl_def [simp]
     1.5  
     1.6  ML_file "Tools/word_lib.ML"
     1.7 -ML_file "Tools/smt2_word.ML"
     1.8 +ML_file "Tools/smt_word.ML"
     1.9  
    1.10  hide_const (open) Word
    1.11