src/HOL/IsaMakefile
changeset 34948 2d5f2a9f7601
parent 34228 bc0cea4cae52
child 34958 dcd0fa5cc6d3
     1.1 --- a/src/HOL/IsaMakefile	Sat Jan 16 21:14:15 2010 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Wed Jan 20 11:56:45 2010 +0100
     1.3 @@ -246,10 +246,12 @@
     1.4    Code_Evaluation.thy \
     1.5    Code_Numeral.thy \
     1.6    Divides.thy \
     1.7 +  DSequence.thy \
     1.8    Equiv_Relations.thy \
     1.9    Groebner_Basis.thy \
    1.10    Hilbert_Choice.thy \
    1.11    Int.thy \
    1.12 +  Lazy_Sequence.thy \
    1.13    List.thy \
    1.14    Main.thy \
    1.15    Map.thy \
    1.16 @@ -260,6 +262,7 @@
    1.17    Predicate_Compile.thy \
    1.18    Quickcheck.thy \
    1.19    Random.thy \
    1.20 +  Random_Sequence.thy \
    1.21    Recdef.thy \
    1.22    SetInterval.thy \
    1.23    String.thy \