Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Library/Old_SMT.thy
changeset 58825 2065f49da190
parent 58059 4e477dcd050a
child 58881 b9556a055632 
--- a/src/HOL/Library/Old_SMT.thy	Wed Oct 29 15:28:27 2014 +0100
+++ b/src/HOL/Library/Old_SMT.thy	Wed Oct 29 17:01:44 2014 +0100
@@ -420,10 +420,7 @@
   by auto
 
 ML_file "Old_SMT/old_smt_real.ML"
-setup Old_SMT_Real.setup
-
 ML_file "Old_SMT/old_smt_word.ML"
-setup Old_SMT_Word.setup
 
 hide_type (open) pattern
 hide_const fun_app term_true term_false z3div z3mod
isabelle