--- a/src/HOL/IsaMakefile Wed Nov 01 17:57:02 2006 +0100
+++ b/src/HOL/IsaMakefile Wed Nov 01 19:03:30 2006 +0100
@@ -767,9 +767,8 @@
$(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \
Nominal/Examples/ROOT.ML Nominal/Examples/CR.thy Nominal/Examples/Class.thy \
Nominal/Examples/Compile.thy Nominal/Examples/Fsub.thy \
- Nominal/Examples/Height.thy Nominal/Examples/Iteration.thy \
- Nominal/Examples/Lambda_mu.thy Nominal/Examples/Lam_substs.thy \
- Nominal/Examples/Recursion.thy Nominal/Examples/SN.thy \
+ Nominal/Examples/Lambda_mu.thy Nominal/Examples/Lam_Funs.thy \
+ Nominal/Examples/SN.thy \
Nominal/Examples/Weakening.thy
@cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples