1.1 --- a/src/HOL/ex/ROOT.ML	Sat Jul 21 20:01:16 2012 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Sun Jul 22 09:56:34 2012 +0200
     1.3 @@ -73,7 +73,8 @@
     1.4    "Simproc_Tests",
     1.5    "Executable_Relation",
     1.6    "FinFunPred",
     1.7 -  "Set_Comprehension_Pointfree_Tests"
     1.8 +  "Set_Comprehension_Pointfree_Tests",
     1.9 +  "Parallel_Example"
    1.10  ];
    1.11  
    1.12  use_thy "SVC_Oracle";