1.1 --- a/src/HOL/IsaMakefile	Mon Nov 27 12:10:51 2006 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Nov 27 12:11:20 2006 +0100
     1.3 @@ -739,7 +739,8 @@
     1.4  
     1.5  $(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML Nominal/Nominal.thy		\
     1.6    Nominal/nominal_atoms.ML Nominal/nominal_induct.ML				\
     1.7 -  Nominal/nominal_package.ML Nominal/nominal_permeq.ML Library/Infinite_Set.thy
     1.8 +  Nominal/nominal_package.ML Nominal/nominal_permeq.ML Nominal/nominal_primrec.ML \
     1.9 +  Library/Infinite_Set.thy
    1.10  	@cd Nominal; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Nominal
    1.11  
    1.12