Added dependency on Eta
authornipkow
Fri Oct 06 11:20:04 1995 +0100 (1995-10-06)
changeset 1270e3a391e848a9
parent 1269 ee011b365770
child 1271 5e32f77c4054
Added dependency on Eta
src/HOL/Makefile
     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)