src/HOL/IsaMakefile

--- a/src/HOL/IsaMakefile	Sat Jan 16 21:14:15 2010 +0100
+++ b/src/HOL/IsaMakefile	Wed Jan 20 11:56:45 2010 +0100
@@ -246,10 +246,12 @@
   Code_Evaluation.thy \
   Code_Numeral.thy \
   Divides.thy \
+  DSequence.thy \
   Equiv_Relations.thy \
   Groebner_Basis.thy \
   Hilbert_Choice.thy \
   Int.thy \
+  Lazy_Sequence.thy \
   List.thy \
   Main.thy \
   Map.thy \
@@ -260,6 +262,7 @@
   Predicate_Compile.thy \
   Quickcheck.thy \
   Random.thy \
+  Random_Sequence.thy \
   Recdef.thy \
   SetInterval.thy \
   String.thy \