1.1 --- a/src/HOL/ex/ROOT.ML	Wed Jul 21 18:11:51 2010 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Wed Jul 21 18:11:51 2010 +0200
     1.3 @@ -59,6 +59,7 @@
     1.4    "HarmonicSeries",
     1.5    "Refute_Examples",
     1.6    "Quickcheck_Examples",
     1.7 +  "Quickcheck_Lattice_Examples",
     1.8    "Landau",
     1.9    "Execute_Choice",
    1.10    "Summation",