author | nipkow |
Thu, 11 Jun 1998 18:18:37 +0200 | |
changeset 5030 | f7466d26c61d |
parent 5029 | bb542ac4c94d |
child 5031 | e2280a1eadb2 |
--- a/src/HOL/IsaMakefile Thu Jun 11 18:17:40 1998 +0200 +++ b/src/HOL/IsaMakefile Thu Jun 11 18:18:37 1998 +0200 @@ -282,7 +282,7 @@ ex/NatSum.thy ex/Primes.ML ex/Primes.thy ex/Primrec.ML ex/Primrec.thy \ ex/Puzzle.ML ex/Puzzle.thy ex/Qsort.ML ex/Qsort.thy ex/ROOT.ML \ ex/Recdef.ML ex/Recdef.thy ex/String.ML ex/String.thy ex/cla.ML \ - ex/meson.ML ex/mesontest.ML ex/rel.ML ex/set.ML + ex/meson.ML ex/mesontest.ML ex/set.ML @$(ISATOOL) usedir $(OUT)/HOL ex