--- a/src/HOL/ex/ROOT.ML Thu May 31 10:05:07 2012 +0200
+++ b/src/HOL/ex/ROOT.ML Mon May 28 02:18:46 2012 +0200
@@ -72,7 +72,8 @@
"Seq",
"Simproc_Tests",
"Executable_Relation",
- "FinFunPred"
+ "FinFunPred",
+ "Set_Comprehension_Pointfree_Tests"
];
use_thy "SVC_Oracle";