src/HOL/IsaMakefile
changeset 31203 5c8fb4fd67e0
parent 31186 b458b4ac570f
child 31205 98370b26c2ce
     1.1 --- a/src/HOL/IsaMakefile	Tue May 19 13:57:31 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue May 19 13:57:32 2009 +0200
     1.3 @@ -212,15 +212,17 @@
     1.4    Hilbert_Choice.thy \
     1.5    IntDiv.thy \
     1.6    Int.thy \
     1.7 -  Typerep.thy \
     1.8    List.thy \
     1.9    Main.thy \
    1.10    Map.thy \
    1.11    Nat_Numeral.thy \
    1.12    Presburger.thy \
    1.13 +  Quickcheck.thy \
    1.14 +  Random.thy \
    1.15    Recdef.thy \
    1.16    SetInterval.thy \
    1.17    String.thy \
    1.18 +  Typerep.thy \
    1.19    $(SRC)/Provers/Arith/assoc_fold.ML \
    1.20    $(SRC)/Provers/Arith/cancel_numeral_factor.ML \
    1.21    $(SRC)/Provers/Arith/cancel_numerals.ML \
    1.22 @@ -287,10 +289,8 @@
    1.23    Transcendental.thy \
    1.24    GCD.thy \
    1.25    Parity.thy \
    1.26 -  Quickcheck.thy \
    1.27    Lubs.thy \
    1.28    PReal.thy \
    1.29 -  Random.thy \
    1.30    Rational.thy \
    1.31    RComplete.thy \
    1.32    RealDef.thy \