--- a/src/Doc/Prog_Prove/document/root.bib Sat Aug 02 19:38:32 2014 +0200
+++ b/src/Doc/Prog_Prove/document/root.bib Sat Aug 02 20:58:15 2014 +0200
@@ -18,7 +18,7 @@
@book{ConcreteSemantics,author={Tobias Nipkow and Gerwin Klein},
title="Concrete Semantics. A Proof Assistant Approach",
-publisher={\url{http://www.in.tum.de/~nipkow/Concrete}},year=2013}
+publisher={\url{http://www.concrete-semantics.org}},year=2013}
@manual{IsarRef,author={Makarius Wenzel},
title={The Isabelle/Isar Reference Manual},