src/HOL/IsaMakefile
changeset 8353 57a163920480
parent 8338 13d601bda271
child 8490 6e0f23304061
     1.1 --- a/src/HOL/IsaMakefile	Wed Mar 08 16:13:19 2000 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Mar 08 16:14:12 2000 +0100
     1.3 @@ -413,8 +413,10 @@
     1.4  
     1.5  $(LOG)/HOL-ex.gz: $(OUT)/HOL ex/BT.ML ex/BT.thy ex/Fib.ML ex/Fib.thy \
     1.6    ex/InSort.ML ex/InSort.thy ex/MT.ML ex/MT.thy ex/NatSum.ML \
     1.7 -  ex/NatSum.thy ex/Primes.ML ex/Primes.thy ex/Primrec.ML \
     1.8 -  ex/Primrec.thy ex/Puzzle.ML ex/Puzzle.thy ex/Qsort.ML ex/Qsort.thy \
     1.9 +  ex/NatSum.thy ex/Primes.ML ex/Primes.thy \
    1.10 +  ex/Factorization.ML ex/Factorization.thy \
    1.11 +  ex/Primrec.ML ex/Primrec.thy \
    1.12 +  ex/Puzzle.ML ex/Puzzle.thy ex/Qsort.ML ex/Qsort.thy \
    1.13    ex/ROOT.ML ex/Recdefs.ML ex/Recdefs.thy ex/cla.ML ex/meson.ML \
    1.14    ex/mesontest.ML ex/set.ML ex/Group.ML ex/Group.thy ex/IntRing.ML \
    1.15    ex/IntRing.thy ex/IntRingDefs.ML ex/IntRingDefs.thy ex/Lagrange.ML \