src/HOL/IsaMakefile

   Tools/Datatype/datatype_case.ML \
   Tools/Datatype/datatype_codegen.ML \
   Tools/Datatype/datatype_data.ML \
   Tools/Datatype/datatype_prop.ML \
   Tools/Datatype/datatype_realizer.ML \
+  Tools/Datatype/primrec.ML \
   Tools/Datatype/rep_datatype.ML \
   Tools/Function/context_tree.ML \
   Tools/Function/fun.ML \
   Tools/Function/function.ML \
   Tools/Function/function_common.ML \

   Tools/inductive_set.ML \
   Tools/lambda_lifting.ML \
   Tools/lin_arith.ML \
   Tools/monomorph.ML \
   Tools/nat_arith.ML \
-  Tools/primrec.ML \
   Tools/prop_logic.ML \
   Tools/refute.ML \
   Tools/rewrite_hol_proof.ML \
   Tools/sat_funcs.ML \
   Tools/sat_solver.ML \