--- a/src/Doc/manual.bib Wed Aug 02 16:31:42 2017 +0200
+++ b/src/Doc/manual.bib Tue Aug 01 20:38:39 2017 +0200
@@ -775,7 +775,7 @@
@inproceedings{Haftmann-Kraus-Kuncar-Nipkow:2013:data_refinement,
author = {Florian Haftmann and Alexander Krauss and Ond\v{r}ej Kun\v{c}ar and Tobias Nipkow},
- title = {Data Refinement in Isabelle/HOL},
+ title = {Data Refinement in {Isabelle/HOL}},
booktitle = {Interactive Theorem Proving (ITP 2013)},
pages = {100-115},
year = 2013,
@@ -1412,7 +1412,7 @@
%O
@TechReport{scala-overview-tech-report,
- author = {Martin Odersky and al.},
+ author = {Martin Odersky et al.},
title = {An Overview of the Scala Programming Language},
institution = {EPFL Lausanne, Switzerland},
year = 2004,