# HG changeset patch # User paulson # Date 1016120934 -3600 # Node ID d78d2089e1638c73800f78f9c0d37e9cae3e6d15 # Parent ad6106d7b4bbeb5353de466f65c96bb6baf4e97e removed ex/set.ML diff -r ad6106d7b4bb -r d78d2089e163 src/HOL/IsaMakefile --- 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