src/HOL/IsaMakefile
changeset 17783 4175daa1286c
parent 17710 9a13e0abdb82
child 17800 d39171dda84e
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 07 22:59:19 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 07 22:59:21 2005 +0200
     1.3 @@ -611,7 +611,7 @@
     1.4    ex/Puzzle.thy ex/Qsort.thy ex/Quickcheck_Examples.thy ex/ROOT.ML	\
     1.5    ex/Recdefs.thy ex/Records.thy ex/Reflected_Presburger.thy		\
     1.6    ex/Refute_Examples.thy ex/SAT_Examples.thy ex/SVC_Oracle.ML ex/SVC_Oracle.thy		\
     1.7 -  ex/StringEx.thy ex/Tarski.thy ex/Tuple.thy ex/document/root.bib	\
     1.8 +  ex/StringEx.thy ex/Tarski.thy ex/document/root.bib	\
     1.9    ex/document/root.tex ex/mesontest2.ML ex/mesontest2.thy ex/set.thy	\
    1.10    ex/svc_funcs.ML ex/svc_test.ML ex/svc_test.thy
    1.11  	@$(ISATOOL) usedir $(OUT)/HOL ex