src/HOL/Docs/MainDoc.thy

--- a/src/HOL/Docs/MainDoc.thy	Mon Mar 09 09:38:36 2009 +0100
+++ b/src/HOL/Docs/MainDoc.thy	Mon Mar 09 12:24:01 2009 +0100
@@ -341,7 +341,7 @@
 \end{supertabular}
 
 
-\section{Set\_Interval}
+\section{SetInterval}
 
 \begin{supertabular}{@ {} l @ {~::~} l @ {}}
 @{const lessThan} & @{term_type_only lessThan "'a::ord \<Rightarrow> 'a set"}\\