--- 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 \