changeset 40880 | dc55e6752046 |
parent 40590 | 131cf8790a1c |
child 41194 | 3f697c636fa1 |
1.1 --- a/src/HOL/ex/ROOT.ML Mon Nov 22 10:41:51 2010 +0100 1.2 +++ b/src/HOL/ex/ROOT.ML Mon Nov 22 10:41:52 2010 +0100 1.3 @@ -67,7 +67,8 @@ 1.4 "Summation", 1.5 "Gauge_Integration", 1.6 "Dedekind_Real", 1.7 - "Quicksort" 1.8 + "Quicksort", 1.9 + "Birthday_Paradoxon" 1.10 ]; 1.11 1.12 HTML.with_charset "utf-8" (no_document use_thys)