src/HOL/Makefile

--- a/src/HOL/Makefile	Fri Oct 06 10:45:11 1995 +0100
+++ b/src/HOL/Makefile	Fri Oct 06 11:20:04 1995 +0100
@@ -100,7 +100,7 @@
 	echo 'exit_use"Subst/ROOT.ML";quit();' | $(LOGIC)
 
 ##Confluence of Lambda-calculus
-LAMBDA_NAMES = Lambda ParRed Confluence
+LAMBDA_NAMES = Lambda ParRed Commutation Eta
 
 LAMBDA_FILES = Lambda/ROOT.ML \
               $(LAMBDA_NAMES:%=Lambda/%.thy) $(LAMBDA_NAMES:%=Lambda/%.ML)