changeset 40424 | 7550b2cba1cb |
parent 40420 | 552563ea3304 |
child 40582 | 968c481aa18c |
--- a/src/HOL/IsaMakefile Mon Nov 08 11:49:28 2010 +0100 +++ b/src/HOL/IsaMakefile Mon Nov 08 12:13:44 2010 +0100 @@ -340,6 +340,8 @@ Tools/smallvalue_generators.ML \ Tools/SMT/smtlib_interface.ML \ Tools/SMT/smt_builtin.ML \ + Tools/SMT/smt_config.ML \ + Tools/SMT/smt_failure.ML \ Tools/SMT/smt_monomorph.ML \ Tools/SMT/smt_normalize.ML \ Tools/SMT/smt_setup_solvers.ML \