--- a/src/Doc/manual.bib Wed Jan 22 17:22:26 2014 +0100
+++ b/src/Doc/manual.bib Wed Jan 22 21:14:27 2014 +0100
@@ -161,14 +161,16 @@
note = {\url{http://isabelle.in.tum.de/doc/locales.pdf}}
}
-@article{Ballarin2013,
+@article{Ballarin2014,
author = {Ballarin, Clemens},
journal = JAR,
- note = {Online version; to appear in print.},
publisher = Springer,
title = {Locales: A Module System for Mathematical Theories},
+ volume = 52,
+ number = 2,
+ pages = {123--153},
url = {http://dx.doi.org/10.1007/s10817-013-9284-7},
- year = {2013}}
+ year = {2014}}
@InCollection{Barendregt-Geuvers:2001,
author = {H. Barendregt and H. Geuvers},