--- a/src/Doc/Prog_Prove/document/root.bib Wed Jan 07 14:19:06 2015 +0100
+++ b/src/Doc/Prog_Prove/document/root.bib Wed Jan 07 18:09:11 2015 +0100
@@ -17,10 +17,9 @@
publisher=Springer,series=LNCS,volume=2283,year=2002}
@book{ConcreteSemantics,author={Tobias Nipkow and Gerwin Klein},
-title="Concrete Semantics. A Proof Assistant Approach",
-publisher={\url{http://www.concrete-semantics.org}},year=2013}
+title="Concrete Semantics with Isabelle/HOL",publisher="Springer",year=2014,
+note={298 pp. \url{http://concrete-semantics.org}}}
@manual{IsarRef,author={Makarius Wenzel},
title={The Isabelle/Isar Reference Manual},
note={\url{http://isabelle.in.tum.de/doc/isar-ref.pdf}}}
-