src/HOL/IsaMakefile
changeset 5124 1ce3cccfacdb
parent 5110 2497807020fa
child 5183 89f162de39cf
     1.1 --- a/src/HOL/IsaMakefile	Fri Jul 03 17:34:55 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Jul 03 17:35:39 1998 +0200
     1.3 @@ -42,11 +42,11 @@
     1.4    Arith.ML Arith.thy Divides.ML Divides.thy Finite.ML Finite.thy Fun.ML \
     1.5    Fun.thy Gfp.ML Gfp.thy HOL.ML HOL.thy Inductive.thy Integ/Bin.ML \
     1.6    Integ/Bin.thy Integ/Equiv.ML Integ/Equiv.thy Integ/Integ.ML \
     1.7 -  Integ/Integ.thy Lfp.ML Lfp.thy List.ML List.thy Map.ML Map.thy Nat.ML \
     1.8 +  Integ/Integ.thy Lfp.ML Lfp.thy List.ML List.thy Main.thy Map.ML Map.thy Nat.ML \
     1.9    Nat.thy NatDef.ML NatDef.thy Option.ML Option.thy Ord.ML Ord.thy \
    1.10 -  Power.ML Power.thy Prod.ML Prod.thy ROOT.ML Record.thy RelPow.ML \
    1.11 +  Power.ML Power.thy Prod.ML Prod.thy ROOT.ML Recdef.thy Record.thy RelPow.ML \
    1.12    RelPow.thy Relation.ML Relation.thy Set.ML Set.thy Sexp.ML Sexp.thy \
    1.13 -  Sum.ML Sum.thy Tools/inductive_package.ML Tools/record_package.ML \
    1.14 +  String.ML String.thy Sum.ML Sum.thy Tools/inductive_package.ML Tools/record_package.ML \
    1.15    Tools/typedef_package.ML Trancl.ML Trancl.thy Univ.ML Univ.thy \
    1.16    Update.ML Update.thy Vimage.ML Vimage.thy WF.ML WF.thy WF_Rel.ML \
    1.17    WF_Rel.thy arith_data.ML cladata.ML datatype.ML equalities.ML \
    1.18 @@ -281,7 +281,7 @@
    1.19    ex/InSort.ML ex/InSort.thy ex/MT.ML ex/MT.thy ex/NatSum.ML \
    1.20    ex/NatSum.thy ex/Primes.ML ex/Primes.thy ex/Primrec.ML ex/Primrec.thy \
    1.21    ex/Puzzle.ML ex/Puzzle.thy ex/Qsort.ML ex/Qsort.thy ex/ROOT.ML \
    1.22 -  ex/Recdef.ML ex/Recdef.thy ex/String.ML ex/String.thy ex/cla.ML \
    1.23 +  ex/Recdefs.ML ex/Recdefs.thy ex/cla.ML \
    1.24    ex/meson.ML ex/mesontest.ML ex/set.ML \
    1.25    ex/Group.ML ex/Group.thy  ex/IntRing.ML ex/IntRing.thy \
    1.26    ex/IntRingDefs.ML ex/IntRingDefs.thy \