src/HOL/IsaMakefile
changeset 8797 b55e2354d71e
parent 8775 626274171eab
child 8812 7239b21e2068
     1.1 --- a/src/HOL/IsaMakefile	Thu May 04 18:40:57 2000 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri May 05 12:51:33 2000 +0200
     1.3 @@ -413,9 +413,9 @@
     1.4  
     1.5  HOL-ex: HOL $(LOG)/HOL-ex.gz
     1.6  
     1.7 -$(LOG)/HOL-ex.gz: $(OUT)/HOL ex/BT.ML ex/BT.thy ex/Fib.ML ex/Fib.thy \
     1.8 +$(LOG)/HOL-ex.gz: $(OUT)/HOL  ex/AVL.ML ex/AVL.thy ex/BT.ML ex/BT.thy \
     1.9    ex/InSort.ML ex/InSort.thy ex/MT.ML ex/MT.thy ex/NatSum.ML \
    1.10 -  ex/NatSum.thy ex/Primes.ML ex/Primes.thy \
    1.11 +  ex/NatSum.thy ex/Fib.ML ex/Fib.thy ex/Primes.ML ex/Primes.thy \
    1.12    ex/Factorization.ML ex/Factorization.thy \
    1.13    ex/Primrec.ML ex/Primrec.thy \
    1.14    ex/Puzzle.ML ex/Puzzle.thy ex/Qsort.ML ex/Qsort.thy \