diff -r 6923b39ad91f -r 7550b2cba1cb src/HOL/IsaMakefile
--- 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 \