--- a/src/HOL/ex/ROOT.ML Sun Sep 18 12:48:45 2011 +0200
+++ b/src/HOL/ex/ROOT.ML Sun Sep 18 13:39:33 2011 +0200
@@ -71,7 +71,8 @@
"Quicksort",
"Birthday_Paradox",
"List_to_Set_Comprehension_Examples",
- "Set_Algebras"
+ "Set_Algebras",
+ "Seq"
];
if getenv "ISABELLE_GHC" = "" then ()