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.
removed rel.ML
authornipkow
Thu, 11 Jun 1998 18:18:37 +0200
changeset 5030 f7466d26c61d
parent 5029 bb542ac4c94d
child 5031 e2280a1eadb2
removed rel.ML
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Jun 11 18:17:40 1998 +0200
+++ b/src/HOL/IsaMakefile	Thu Jun 11 18:18:37 1998 +0200
@@ -282,7 +282,7 @@
   ex/NatSum.thy ex/Primes.ML ex/Primes.thy ex/Primrec.ML ex/Primrec.thy \
   ex/Puzzle.ML ex/Puzzle.thy ex/Qsort.ML ex/Qsort.thy ex/ROOT.ML \
   ex/Recdef.ML ex/Recdef.thy ex/String.ML ex/String.thy ex/cla.ML \
-  ex/meson.ML ex/mesontest.ML ex/rel.ML ex/set.ML
+  ex/meson.ML ex/mesontest.ML ex/set.ML
 	@$(ISATOOL) usedir $(OUT)/HOL ex
isabelle