src/HOL/Data_Structures/document/root.bib
changeset 61225 1a690dce8cfc
parent 61224 759b5299a9f2
child 61525 87244a9cfe40
     1.1 --- a/src/HOL/Data_Structures/document/root.bib	Tue Sep 22 08:38:25 2015 +0200
     1.2 +++ b/src/HOL/Data_Structures/document/root.bib	Tue Sep 22 14:31:22 2015 +0200
     1.3 @@ -6,7 +6,3 @@
     1.4  
     1.5  @book{Okasaki,author={Chris Okasaki},title="Purely Functional Data Structures",
     1.6  publisher="Cambridge University Press",year=1998}
     1.7 -
     1.8 -@book{ConcreteSemantics,author={Tobias Nipkow and Gerwin Klein},
     1.9 -title={Concrete Semantics with Isabelle/HOL},publisher=Springer,
    1.10 -year=2014}