1.1 --- a/src/HOL/ex/ROOT.ML	Wed Mar 12 19:38:13 2008 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Wed Mar 12 19:38:14 2008 +0100
     1.3 @@ -14,7 +14,7 @@
     1.4    "FuncSet",
     1.5    "Word",
     1.6    "Eval_Examples",
     1.7 -  "Random"
     1.8 +  "Quickcheck"
     1.9  ];
    1.10  
    1.11  no_document use_thy "Codegenerator";