diff -r 709c04e7b703 -r c6e66b32ce16 src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Fri Mar 11 10:37:40 2011 +0100
+++ b/src/HOL/ex/ROOT.ML	Fri Mar 11 10:37:41 2011 +0100
@@ -73,7 +73,8 @@
   "Quicksort",
   "Birthday_Paradoxon",
   "List_to_Set_Comprehension_Examples",
-  "Set_Algebras"
+  "Set_Algebras",
+  "LSC_Examples"
 ];
 
 use_thy "SVC_Oracle";