src/HOL/IsaMakefile
changeset 13059 d78d2089e163
parent 13034 d7bb6e4f5f82
child 13075 d3e1d554cd6d
     1.1 --- a/src/HOL/IsaMakefile	Thu Mar 14 16:48:34 2002 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Mar 14 16:48:54 2002 +0100
     1.3 @@ -578,7 +578,7 @@
     1.4    ex/Qsort.ML ex/Qsort.thy ex/ROOT.ML ex/Recdefs.thy ex/Records.thy \
     1.5    ex/Ring.ML ex/Ring.thy ex/StringEx.thy ex/SVC_Oracle.ML ex/SVC_Oracle.thy \
     1.6    ex/Tarski.ML ex/Tarski.thy ex/Tuple.thy ex/cla.ML ex/mesontest.ML \
     1.7 -  ex/mesontest2.ML ex/mesontest2.thy ex/set.ML ex/set.thy ex/svc_funcs.ML \
     1.8 +  ex/mesontest2.ML ex/mesontest2.thy ex/set.thy ex/svc_funcs.ML \
     1.9    ex/svc_test.ML ex/svc_test.thy ex/document/root.bib ex/document/root.tex
    1.10  	@$(ISATOOL) usedir $(OUT)/HOL ex
    1.11