--- a/src/HOL/IsaMakefile Tue Jun 24 10:41:53 2003 +0200
+++ b/src/HOL/IsaMakefile Tue Jun 24 10:42:34 2003 +0200
@@ -430,7 +430,9 @@
$(LOG)/HOL-Lambda.gz: $(OUT)/HOL Library/Accessible_Part.thy \
Lambda/Commutation.thy Lambda/Eta.thy Lambda/InductTermi.thy Lambda/Lambda.thy \
Lambda/ListApplication.thy Lambda/ListBeta.thy Lambda/ListOrder.thy \
- Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML Lambda/document/root.tex
+ Lambda/ParRed.thy Lambda/StrongNorm.thy Lambda/Type.thy \
+ Lambda/WeakNorm.thy Lambda/ROOT.ML \
+ Lambda/document/root.bib Lambda/document/root.tex
@$(ISATOOL) usedir -g true $(OUT)/HOL Lambda