# HG changeset patch
# User wenzelm
# Date 1407014449 -7200
# Node ID 85b8cc14238402656283122b22c0fe6a60a5b79a
# Parent  7cbb28332896c5ef32865dca2a049f309a0bd5df
updated URL;

diff -r 7cbb28332896 -r 85b8cc142384 src/Doc/Prog_Prove/document/intro-isabelle.tex
--- a/src/Doc/Prog_Prove/document/intro-isabelle.tex	Sat Aug 02 21:22:28 2014 +0200
+++ b/src/Doc/Prog_Prove/document/intro-isabelle.tex	Sat Aug 02 23:20:49 2014 +0200
@@ -76,12 +76,12 @@
 \else
 If you want to apply what you have learned about Isabelle we recommend you
 donwload and read the book
-\href{http://www.in.tum.de/~nipkow/Concrete/}{Concrete
+\href{http://www.concrete-semantics.org}{Concrete
 Semantics}~\cite{ConcreteSemantics}, a guided tour of the wonderful world of
 programming langage semantics formalised in Isabelle.  In fact,
 \emph{Programming and Proving in Isabelle/HOL} constitutes part~I of
-\href{http://www.in.tum.de/~nipkow/Concrete/}{Concrete Semantics}.  The web
-pages for \href{http://www.in.tum.de/~nipkow/Concrete/}{Concrete Semantics}
+\href{http://www.concrete-semantics.org}{Concrete Semantics}.  The web
+pages for \href{http://www.concrete-semantics.org}{Concrete Semantics}
 also provide a set of \LaTeX-based slides for teaching \emph{Programming and
 Proving in Isabelle/HOL}.
 \fi