Mercurial Mercurial > repos > Old_HOL / 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.
Add dependence on ex/String.thy/ML
authornipkow
Fri, 03 Feb 1995 16:21:45 +0100
changeset 209 cc7ad90039b9
parent 208 deec279dda0a
child 210 1a3d3b5b5d15
Add dependence on ex/String.thy/ML
Makefile file | annotate | diff | comparison | revisions 
--- a/Makefile	Fri Feb 03 16:19:45 1995 +0100
+++ b/Makefile	Fri Feb 03 16:21:45 1995 +0100
@@ -54,7 +54,7 @@
            ex/PropLog.ML ex/PropLog.thy ex/Puzzle.ML ex/Puzzle.thy\
            ex/Qsort.thy ex/Qsort.ML ex/LList.thy ex/LList.ML \
 	   ex/Rec.ML ex/Rec.thy ex/rel.ML ex/set.ML ex/Simult.ML ex/Simult.thy\
-	   ex/Term.ML ex/Term.thy
+	   ex/Term.ML ex/Term.thy ex/String.thy ex/String.ML
 
 SUBST_FILES = Subst/ROOT.ML Subst/AList.ML Subst/AList.thy\
               Subst/Setplus.ML Subst/Setplus.thy\
Old_HOL