src/HOL/IsaMakefile

   SAT.thy \
   Set.thy \
   Sum_Type.thy \
   Tools/arith_data.ML \
   Tools/cnf_funcs.ML \
-  Tools/datatype_abs_proofs.ML \
-  Tools/datatype_aux.ML \
-  Tools/datatype_case.ML \
-  Tools/datatype_codegen.ML \
-  Tools/datatype_package.ML \
-  Tools/datatype_prop.ML \
-  Tools/datatype_realizer.ML \
-  Tools/datatype_rep_proofs.ML \
+  Tools/datatype_package/datatype_abs_proofs.ML \
+  Tools/datatype_package/datatype_aux.ML \
+  Tools/datatype_package/datatype_case.ML \
+  Tools/datatype_package/datatype_codegen.ML \
+  Tools/datatype_package/datatype_package.ML \
+  Tools/datatype_package/datatype_prop.ML \
+  Tools/datatype_package/datatype_realizer.ML \
+  Tools/datatype_package/datatype_rep_proofs.ML \
   Tools/dseq.ML \
   Tools/function_package/auto_term.ML \
   Tools/function_package/context_tree.ML \
   Tools/function_package/decompose.ML \
   Tools/function_package/descent.ML \