src/HOL/ex/ROOT.ML

--- a/src/HOL/ex/ROOT.ML	Wed Feb 17 09:51:46 2010 +0100
+++ b/src/HOL/ex/ROOT.ML	Wed Feb 17 10:43:20 2010 +0100
@@ -66,7 +66,8 @@
   "Refute_Examples",
   "Quickcheck_Examples",
   "Landau",
-  "Execute_Choice"
+  "Execute_Choice",
+  "Summation"
 ];
 
 HTML.with_charset "utf-8" (no_document use_thys)