--- a/doc-src/Main/Docs/Main_Doc.thy Sat May 05 18:21:55 2012 +0200
+++ b/doc-src/Main/Docs/Main_Doc.thy Sun May 06 11:52:33 2012 +0200
@@ -26,7 +26,7 @@
text{*
\begin{abstract}
-This document lists the main types, functions and syntax provided by theory @{theory Main}. It is meant as a quick overview of what is available. The sophisticated class structure is only hinted at. For details see \url{http://isabelle.in.tum.de/dist/library/HOL/}.
+This document lists the main types, functions and syntax provided by theory @{theory Main}. It is meant as a quick overview of what is available. The sophisticated class structure is only hinted at. For details see \url{http://isabelle.in.tum.de/library/HOL/}.
\end{abstract}
\section{HOL}
--- a/doc-src/Main/Docs/document/Main_Doc.tex Sat May 05 18:21:55 2012 +0200
+++ b/doc-src/Main/Docs/document/Main_Doc.tex Sun May 06 11:52:33 2012 +0200
@@ -30,7 +30,7 @@
%
\begin{isamarkuptext}%
\begin{abstract}
-This document lists the main types, functions and syntax provided by theory \isa{Main}. It is meant as a quick overview of what is available. The sophisticated class structure is only hinted at. For details see \url{http://isabelle.in.tum.de/dist/library/HOL/}.
+This document lists the main types, functions and syntax provided by theory \isa{Main}. It is meant as a quick overview of what is available. The sophisticated class structure is only hinted at. For details see \url{http://isabelle.in.tum.de/library/HOL/}.
\end{abstract}
\section{HOL}