src/HOL/IsaMakefile

 
 ## Import sessions
 
 Import-HOL4: $(OUT)/Import-HOL4
 
-BASIC_IMPORTER_DEPENDENCIES = Import/Importer.thy
+BASIC_IMPORTER_DEPENDENCIES = Import/Importer.thy \
+  Import/shuffler.ML \
+  Import/import_rews.ML \
+  Import/proof_kernel.ML \
+  Import/replay.ML \
+  Import/import.ML
 
 $(OUT)/Import-HOL4: $(OUT)/HOL \
   $(BASIC_IMPORTER_DEPENDENCIES) \
   Import/HOL4/ROOT.ML \
   Import/HOL4/Compatibility.thy