1.1 --- a/src/HOL/ex/ROOT.ML	Sat Apr 14 15:08:59 2012 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Sat Apr 14 19:29:31 2012 +0200
     1.3 @@ -67,7 +67,6 @@
     1.4    "Quicksort",
     1.5    "Birthday_Paradox",
     1.6    "List_to_Set_Comprehension_Examples",
     1.7 -  "Set_Algebras",
     1.8    "Seq",
     1.9    "Simproc_Tests",
    1.10    "Executable_Relation"