--- a/src/HOL/IsaMakefile Thu Aug 31 00:16:32 2000 +0200
+++ b/src/HOL/IsaMakefile Thu Aug 31 01:42:23 2000 +0200
@@ -306,7 +306,7 @@
$(LOG)/HOL-Lambda.gz: $(OUT)/HOL Lambda/Commutation.ML \
Lambda/Commutation.thy Lambda/Eta.ML Lambda/Eta.thy \
Lambda/InductTermi.thy Lambda/Lambda.ML Lambda/Lambda.thy \
- Lambda/ListApplication.ML Lambda/ListApplication.thy Lambda/ListBeta.ML \
+ Lambda/ListApplication.ML Lambda/ListApplication.thy \
Lambda/ListBeta.thy Lambda/ListOrder.ML Lambda/ListOrder.thy \
Lambda/ParRed.ML Lambda/ParRed.thy Lambda/Type.thy Lambda/ROOT.ML
@$(ISATOOL) usedir $(OUT)/HOL Lambda