src/HOL/ROOT
changeset 55663 12448c179851
parent 55601 b7f4da504b75
child 55730 97ff9276e12d
     1.1 --- a/src/HOL/ROOT	Fri Feb 21 20:54:13 2014 +0100
     1.2 +++ b/src/HOL/ROOT	Fri Feb 21 21:08:03 2014 +0100
     1.3 @@ -570,7 +570,7 @@
     1.4      Simproc_Tests
     1.5      Executable_Relation
     1.6      FinFunPred
     1.7 -    Set_Comprehension_Pointfree_Tests
     1.8 +    Set_Comprehension_Pointfree_Examples
     1.9      Parallel_Example
    1.10      IArray_Examples
    1.11      SVC_Oracle