--- a/src/HOL/IsaMakefile Mon Feb 05 15:55:32 2007 +0100
+++ b/src/HOL/IsaMakefile Tue Feb 06 00:41:54 2007 +0100
@@ -721,9 +721,14 @@
HOL-Nominal: HOL $(OUT)/HOL-Nominal
-$(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML Nominal/Nominal.thy \
- Nominal/nominal_atoms.ML Nominal/nominal_induct.ML \
- Nominal/nominal_package.ML Nominal/nominal_permeq.ML Nominal/nominal_primrec.ML \
+$(OUT)/HOL-Nominal: $(OUT)/HOL Nominal/ROOT.ML \
+ Nominal/Nominal.thy \
+ Nominal/nominal_atoms.ML \
+ Nominal/nominal_induct.ML \ \
+ Nominal/nominal_package.ML \
+ Nominal/nominal_permeq.ML \
+ Nominal/nominal_primrec.ML \
+ Nominal/nominal_thmdecls.ML \
Library/Infinite_Set.thy
@cd Nominal; $(ISATOOL) usedir -b -g true $(OUT)/HOL HOL-Nominal