     1.1 --- a/src/HOL/IsaMakefile	Thu Feb 05 10:45:28 2004 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Feb 10 12:02:11 2004 +0100
     1.3 @@ -86,7 +86,7 @@
     1.4    Hilbert_Choice.thy Hilbert_Choice_lemmas.ML HOL.ML \
     1.5    HOL.thy HOL_lemmas.ML Inductive.thy Integ/Bin.thy \
     1.6    Integ/cooper_dec.ML Integ/cooper_proof.ML \
     1.7 -  Integ/Equiv.thy Integ/Int.thy Integ/IntArith.thy Integ/IntDef.thy \
     1.8 +  Integ/Equiv.thy Integ/IntArith.thy Integ/IntDef.thy \
     1.9    Integ/IntDiv.thy Integ/NatBin.thy Integ/NatSimprocs.thy Integ/int_arith1.ML \
    1.10    Integ/int_factor_simprocs.ML Integ/nat_simprocs.ML \
    1.11    Integ/Presburger.thy Integ/presburger.ML Integ/qelim.ML \
changeset 14378	69c4d5997669
parent 14373	67a628beb981
child 14387	e96d5c42c4b0