--- a/src/HOL/ex/ROOT.ML Tue Jun 07 11:10:42 2011 +0200
+++ b/src/HOL/ex/ROOT.ML Tue Jun 07 11:10:57 2011 +0200
@@ -73,7 +73,7 @@
"Gauge_Integration",
"Dedekind_Real",
"Quicksort",
- "Birthday_Paradoxon",
+ "Birthday_Paradox",
"List_to_Set_Comprehension_Examples",
"Set_Algebras"
];