src/HOL/IsaMakefile
changeset 5030 f7466d26c61d
parent 4909 2213a9ac0e4c
child 5078 7b5ea59c0275
     1.1 --- a/src/HOL/IsaMakefile	Thu Jun 11 18:17:40 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Jun 11 18:18:37 1998 +0200
     1.3 @@ -282,7 +282,7 @@
     1.4    ex/NatSum.thy ex/Primes.ML ex/Primes.thy ex/Primrec.ML ex/Primrec.thy \
     1.5    ex/Puzzle.ML ex/Puzzle.thy ex/Qsort.ML ex/Qsort.thy ex/ROOT.ML \
     1.6    ex/Recdef.ML ex/Recdef.thy ex/String.ML ex/String.thy ex/cla.ML \
     1.7 -  ex/meson.ML ex/mesontest.ML ex/rel.ML ex/set.ML
     1.8 +  ex/meson.ML ex/mesontest.ML ex/set.ML
     1.9  	@$(ISATOOL) usedir $(OUT)/HOL ex
    1.10  
    1.11