Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added dependency on Eta
authornipkow
Fri, 06 Oct 1995 11:20:04 +0100
changeset 1270 e3a391e848a9
parent 1269 ee011b365770
child 1271 5e32f77c4054
Added dependency on Eta
src/HOL/Makefile file | annotate | diff | comparison | revisions 
--- 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)
isabelle