src/HOL/Word/Word.thy
changeset 56078 624faeda77b5
parent 55945 e96383acecf9
child 56979 376604d56b54
     1.1 --- a/src/HOL/Word/Word.thy	Thu Mar 13 08:56:08 2014 +0100
     1.2 +++ b/src/HOL/Word/Word.thy	Thu Mar 13 13:18:13 2014 +0100
     1.3 @@ -4738,6 +4738,7 @@
     1.4  ML_file "Tools/word_lib.ML"
     1.5  ML_file "Tools/smt_word.ML"
     1.6  setup SMT_Word.setup
     1.7 +ML_file "Tools/smt2_word.ML"
     1.8  
     1.9  hide_const (open) Word
    1.10