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.
rename list-fn to listfn
authorclasohm
Wed, 06 Oct 1993 14:21:36 +0100
changeset 33 ab5ed678130d
parent 32 a8f1cdbbc5b8
child 34 747f1aad03cf
rename list-fn to listfn
src/ZF/Makefile file | annotate | diff | comparison | revisions 
--- a/src/ZF/Makefile	Wed Oct 06 14:19:39 1993 +0100
+++ b/src/ZF/Makefile	Wed Oct 06 14:21:36 1993 +0100
@@ -26,7 +26,7 @@
 	wf.thy wf.ML ordinal.thy ordinal.ML nat.thy nat.ML \
 	epsilon.thy epsilon.ML arith.thy arith.ML univ.thy univ.ML \
 	quniv.thy quniv.ML constructor.ML datatype.ML  \
-	fin.ML list.ML list-fn.thy list-fn.ML
+	fin.ML list.ML listfn.thy listfn.ML
 
 #Uses cp rather than make_database because Poly/ML allows only 3 levels
 $(BIN)/ZF:   $(BIN)/FOL  $(FILES)
isabelle