1.1 --- a/src/HOL/ex/ROOT.ML	Fri Jan 07 18:10:42 2011 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri Jan 07 18:10:43 2011 +0100
     1.3 @@ -71,7 +71,8 @@
     1.4    "Gauge_Integration",
     1.5    "Dedekind_Real",
     1.6    "Quicksort",
     1.7 -  "Birthday_Paradoxon"
     1.8 +  "Birthday_Paradoxon",
     1.9 +  "List_to_Set_Comprehension_Examples"
    1.10  ];
    1.11  
    1.12  use_thy "SVC_Oracle";