--- a/src/HOL/IsaMakefile Mon Sep 21 16:01:30 2009 +0200
+++ b/src/HOL/IsaMakefile Mon Sep 21 16:01:38 2009 +0200
@@ -836,7 +836,7 @@
HOL-Bali: HOL $(LOG)/HOL-Bali.gz
-$(LOG)/HOL-Bali.gz: $(OUT)/HOL Bali/AxCompl.thy Bali/AxExample.thy \
+$(LOG)/HOL-Bali.gz: $(OUT)/HOL Bali/Bali.thy Bali/AxCompl.thy Bali/AxExample.thy \
Bali/AxSem.thy Bali/AxSound.thy Bali/Basis.thy Bali/Conform.thy \
Bali/Decl.thy Bali/DeclConcepts.thy Bali/Eval.thy Bali/Evaln.thy \
Bali/Example.thy Bali/Name.thy Bali/ROOT.ML Bali/State.thy \
@@ -1026,6 +1026,7 @@
HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz
$(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \
+ Nominal/Examples/Nominal_Examples.thy \
Nominal/Examples/CK_Machine.thy \
Nominal/Examples/CR.thy \
Nominal/Examples/CR_Takahashi.thy \