--- a/src/HOL/ex/ROOT.ML Wed Mar 30 09:44:17 2011 +0200
+++ b/src/HOL/ex/ROOT.ML Wed Mar 30 10:31:02 2011 +0200
@@ -64,6 +64,7 @@
"HarmonicSeries",
"Refute_Examples",
"Quickcheck_Examples",
+ "SML_Quickcheck_Examples",
"Quickcheck_Lattice_Examples",
"Landau",
"Execute_Choice",