changeset 40277 | 4e3a3461c1a6 |
parent 40239 | c4336e45f199 |
child 40281 | 3c6198fd0937 |
--- a/src/HOL/IsaMakefile Fri Oct 29 18:17:06 2010 +0200 +++ b/src/HOL/IsaMakefile Fri Oct 29 18:17:08 2010 +0200 @@ -337,6 +337,7 @@ Tools/Sledgehammer/sledgehammer_atp_translate.ML \ Tools/Sledgehammer/sledgehammer_util.ML \ Tools/SMT/smtlib_interface.ML \ + Tools/SMT/smt_builtin.ML \ Tools/SMT/smt_monomorph.ML \ Tools/SMT/smt_normalize.ML \ Tools/SMT/smt_setup_solvers.ML \