diff -r 7ee22760436c -r 09615ed31f04 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Dec 31 00:11:24 2010 +0100
+++ b/src/HOL/IsaMakefile	Mon Jan 03 16:22:08 2011 +0100
@@ -297,7 +297,6 @@
   Tools/ATP/atp_systems.ML \
   Tools/choice_specification.ML \
   Tools/code_evaluation.ML \
-  Tools/Datatype/datatype_selectors.ML \
   Tools/int_arith.ML \
   Tools/groebner.ML \
   Tools/list_code.ML \
@@ -356,6 +355,7 @@
   Tools/SMT/smtlib_interface.ML \
   Tools/SMT/smt_builtin.ML \
   Tools/SMT/smt_config.ML \
+  Tools/SMT/smt_datatypes.ML \
   Tools/SMT/smt_failure.ML \
   Tools/SMT/smt_monomorph.ML \
   Tools/SMT/smt_normalize.ML \