# HG changeset patch
# User nipkow
# Date 1420650541 -3600
# Node ID 4ae9d8842597d9e3cab0cc66aac7cb9120b61d28
# Parent  91649ea1b32ca0c909d74d409edacc646d161e92
updated bibtex

diff -r 91649ea1b32c -r 4ae9d8842597 src/Doc/Prog_Prove/document/root.bib
--- a/src/Doc/Prog_Prove/document/root.bib	Wed Jan 07 09:06:20 2015 +0100
+++ b/src/Doc/Prog_Prove/document/root.bib	Wed Jan 07 18:09:01 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}}}
-