changeset 57159 | 24cbdebba35a |
parent 57157 | 87b4d54b1fbe |
child 57165 | 7b1bf424ec5f |
--- a/src/HOL/SMT2.thy Mon Jun 02 17:34:26 2014 +0200 +++ b/src/HOL/SMT2.thy Mon Jun 02 17:34:27 2014 +0200 @@ -149,8 +149,8 @@ ML_file "Tools/SMT2/smtlib2.ML" ML_file "Tools/SMT2/smtlib2_interface.ML" ML_file "Tools/SMT2/z3_new_proof.ML" +ML_file "Tools/SMT2/z3_new_isar.ML" ML_file "Tools/SMT2/smt2_solver.ML" -ML_file "Tools/SMT2/z3_new_isar.ML" ML_file "Tools/SMT2/z3_new_interface.ML" ML_file "Tools/SMT2/z3_new_replay_util.ML" ML_file "Tools/SMT2/z3_new_replay_literals.ML"