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 ex/set.ML
authorpaulson
Thu, 14 Mar 2002 16:48:54 +0100
changeset 13059 d78d2089e163
parent 13058 ad6106d7b4bb
child 13060 f6442b87b5f8
removed ex/set.ML
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Mar 14 16:48:34 2002 +0100
+++ b/src/HOL/IsaMakefile	Thu Mar 14 16:48:54 2002 +0100
@@ -578,7 +578,7 @@
   ex/Qsort.ML ex/Qsort.thy ex/ROOT.ML ex/Recdefs.thy ex/Records.thy \
   ex/Ring.ML ex/Ring.thy ex/StringEx.thy ex/SVC_Oracle.ML ex/SVC_Oracle.thy \
   ex/Tarski.ML ex/Tarski.thy ex/Tuple.thy ex/cla.ML ex/mesontest.ML \
-  ex/mesontest2.ML ex/mesontest2.thy ex/set.ML ex/set.thy ex/svc_funcs.ML \
+  ex/mesontest2.ML ex/mesontest2.thy ex/set.thy ex/svc_funcs.ML \
   ex/svc_test.ML ex/svc_test.thy ex/document/root.bib ex/document/root.tex
 	@$(ISATOOL) usedir $(OUT)/HOL ex
isabelle