src/HOL/Makefile
changeset 1270 e3a391e848a9
parent 1264 3eb91524b938
child 1296 ae31bb7774a7
     1.1 --- a/src/HOL/Makefile	Fri Oct 06 10:45:11 1995 +0100
     1.2 +++ b/src/HOL/Makefile	Fri Oct 06 11:20:04 1995 +0100
     1.3 @@ -100,7 +100,7 @@
     1.4  	echo 'exit_use"Subst/ROOT.ML";quit();' | $(LOGIC)
     1.5  
     1.6  ##Confluence of Lambda-calculus
     1.7 -LAMBDA_NAMES = Lambda ParRed Confluence
     1.8 +LAMBDA_NAMES = Lambda ParRed Commutation Eta
     1.9  
    1.10  LAMBDA_FILES = Lambda/ROOT.ML \
    1.11                $(LAMBDA_NAMES:%=Lambda/%.thy) $(LAMBDA_NAMES:%=Lambda/%.ML)