# HG changeset patch
# User nipkow
# Date 1420650551 -3600
# Node ID 3ef6b0b6232edcde9240bcf7abc7588b07641a2c
# Parent  a1238edd8b3684cbab403870eb121bbe386a4c79# Parent  4ae9d8842597d9e3cab0cc66aac7cb9120b61d28
merged

diff -r a1238edd8b36 -r 3ef6b0b6232e src/Doc/Prog_Prove/document/root.bib
--- 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}}}
-