changeset 49064 | d862b0d56c49 |
parent 49056 | d60f6b41bf2d |
child 49442 | 571cb1df0768 |
1.1 --- a/src/HOL/ex/ROOT.ML Thu May 31 10:05:07 2012 +0200 1.2 +++ b/src/HOL/ex/ROOT.ML Mon May 28 02:18:46 2012 +0200 1.3 @@ -72,7 +72,8 @@ 1.4 "Seq", 1.5 "Simproc_Tests", 1.6 "Executable_Relation", 1.7 - "FinFunPred" 1.8 + "FinFunPred", 1.9 + "Set_Comprehension_Pointfree_Tests" 1.10 ]; 1.11 1.12 use_thy "SVC_Oracle";