src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Fri Sep 17 08:41:07 2010 +0200
+++ b/src/HOL/IsaMakefile	Fri Sep 17 10:52:35 2010 +0200
@@ -271,6 +271,7 @@
   Tools/ATP/atp_proof.ML \
   Tools/ATP/atp_systems.ML \
   Tools/choice_specification.ML \
+  Tools/Datatype/datatype_selectors.ML \
   Tools/int_arith.ML \
   Tools/groebner.ML \
   Tools/list_code.ML \