Mercurial Mercurial > repos > Old_HOL / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Makefile
changeset 209 cc7ad90039b9
parent 192 2adddba98924
child 221 14050d4d9b00 
--- 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