# HG changeset patch
# User wenzelm
# Date 1336297953 -7200
# Node ID ec815d64573f451da5927c9fffdc30610afdf5b1
# Parent  fa59eb662e6c0cd8d484bdb027b2321ad906cb16
prefer http://isabelle.in.tum.de/library alias, which is available at TUM only;

diff -r fa59eb662e6c -r ec815d64573f doc-src/Main/Docs/Main_Doc.thy
--- 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}
diff -r fa59eb662e6c -r ec815d64573f doc-src/Main/Docs/document/Main_Doc.tex
--- 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}