changeset 48427 | 571cb1df0768 |
parent 48049 | d862b0d56c49 |
--- a/src/HOL/ex/ROOT.ML Sat Jul 21 20:01:16 2012 +0200 +++ b/src/HOL/ex/ROOT.ML Sun Jul 22 09:56:34 2012 +0200 @@ -73,7 +73,8 @@ "Simproc_Tests", "Executable_Relation", "FinFunPred", - "Set_Comprehension_Pointfree_Tests" + "Set_Comprehension_Pointfree_Tests", + "Parallel_Example" ]; use_thy "SVC_Oracle";