1.1 --- a/src/HOL/IsaMakefile	Sun Mar 04 00:26:23 2012 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Sun Mar 04 00:27:07 2012 +0100
     1.3 @@ -559,7 +559,12 @@
     1.4  
     1.5  Import-HOL4: $(OUT)/Import-HOL4
     1.6  
     1.7 -BASIC_IMPORTER_DEPENDENCIES = Import/Importer.thy
     1.8 +BASIC_IMPORTER_DEPENDENCIES = Import/Importer.thy \
     1.9 +  Import/shuffler.ML \
    1.10 +  Import/import_rews.ML \
    1.11 +  Import/proof_kernel.ML \
    1.12 +  Import/replay.ML \
    1.13 +  Import/import.ML
    1.14  
    1.15  $(OUT)/Import-HOL4: $(OUT)/HOL \
    1.16    $(BASIC_IMPORTER_DEPENDENCIES) \