src/HOL/Docs/Main_Doc.thy

--- a/src/HOL/Docs/Main_Doc.thy	Wed Mar 11 11:41:14 2009 +0100
+++ b/src/HOL/Docs/Main_Doc.thy	Wed Mar 11 12:51:00 2009 +0100
@@ -18,7 +18,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.
+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/}.
 \end{abstract}
 
 \section{HOL}