changeset 44079 | 04c886a1d1a5 |
parent 43478 | c8673078f915 |
child 44083 | 3c58977e0911 |
1.1 --- a/src/HOL/ex/ROOT.ML Tue Jun 07 11:10:42 2011 +0200 1.2 +++ b/src/HOL/ex/ROOT.ML Tue Jun 07 11:10:57 2011 +0200 1.3 @@ -73,7 +73,7 @@ 1.4 "Gauge_Integration", 1.5 "Dedekind_Real", 1.6 "Quicksort", 1.7 - "Birthday_Paradoxon", 1.8 + "Birthday_Paradox", 1.9 "List_to_Set_Comprehension_Examples", 1.10 "Set_Algebras" 1.11 ];