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