--- a/src/HOL/ex/ROOT.ML Fri Jan 07 18:10:42 2011 +0100
+++ b/src/HOL/ex/ROOT.ML Fri Jan 07 18:10:43 2011 +0100
@@ -71,7 +71,8 @@
"Gauge_Integration",
"Dedekind_Real",
"Quicksort",
- "Birthday_Paradoxon"
+ "Birthday_Paradoxon",
+ "List_to_Set_Comprehension_Examples"
];
use_thy "SVC_Oracle";