src/HOLCF/IsaMakefile

   Tools/Domain/domain_extender.ML \
   Tools/Domain/domain_axioms.ML \
   Tools/Domain/domain_constructors.ML \
   Tools/Domain/domain_isomorphism.ML \
   Tools/Domain/domain_library.ML \
-  Tools/Domain/domain_syntax.ML \
+  Tools/Domain/domain_take_proofs.ML \
   Tools/Domain/domain_theorems.ML \
   Tools/fixrec.ML \
   Tools/pcpodef.ML \
   Tools/repdef.ML \
   holcf_logic.ML \