1.1 --- a/src/HOL/ex/ROOT.ML	Wed Mar 30 09:44:17 2011 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Wed Mar 30 10:31:02 2011 +0200
     1.3 @@ -64,6 +64,7 @@
     1.4    "HarmonicSeries",
     1.5    "Refute_Examples",
     1.6    "Quickcheck_Examples",
     1.7 +  "SML_Quickcheck_Examples",
     1.8    "Quickcheck_Lattice_Examples",
     1.9    "Landau",
    1.10    "Execute_Choice",