src/HOL/Library/Old_SMT.thy
changeset 58825 2065f49da190
parent 58059 4e477dcd050a
child 58881 b9556a055632
     1.1 --- a/src/HOL/Library/Old_SMT.thy	Wed Oct 29 15:28:27 2014 +0100
     1.2 +++ b/src/HOL/Library/Old_SMT.thy	Wed Oct 29 17:01:44 2014 +0100
     1.3 @@ -420,10 +420,7 @@
     1.4    by auto
     1.5  
     1.6  ML_file "Old_SMT/old_smt_real.ML"
     1.7 -setup Old_SMT_Real.setup
     1.8 -
     1.9  ML_file "Old_SMT/old_smt_word.ML"
    1.10 -setup Old_SMT_Word.setup
    1.11  
    1.12  hide_type (open) pattern
    1.13  hide_const fun_app term_true term_false z3div z3mod