author wenzelm Sun, 06 May 2012 11:52:33 +0200 changeset 47870 ec815d64573f parent 47869 fa59eb662e6c child 47871 861dc9184920
prefer http://isabelle.in.tum.de/library alias, which is available at TUM only;
--- 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}