--- a/src/HOL/IsaMakefile Tue Jan 16 10:25:38 2007 +0100
+++ b/src/HOL/IsaMakefile Tue Jan 16 13:59:08 2007 +0100
@@ -734,11 +734,16 @@
HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz
$(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/Lambda_mu.thy Nominal/Examples/Lam_Funs.thy \
- Nominal/Examples/SN.thy \
- Nominal/Examples/Weakening.thy
+ Nominal/Examples/ROOT.ML
+ Nominal/Examples/CR.thy \
+ Nominal/Examples/Class.thy \
+ Nominal/Examples/Compile.thy \
+ Nominal/Examples/Fsub.thy \
+ Nominal/Examples/Lambda_mu.thy \
+ Nominal/Examples/Lam_Funs.thy \
+ Nominal/Examples/SN.thy \
+ Nominal/Examples/Weakening.thy \
+ Nominal/Examples/Crary.thy
@cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples