--- a/src/Doc/manual.bib Tue Sep 03 22:12:48 2013 +0200
+++ b/src/Doc/manual.bib Tue Sep 03 22:12:48 2013 +0200
@@ -161,6 +161,15 @@
note = {\url{http://isabelle.in.tum.de/doc/locales.pdf}}
}
+@article{Ballarin2013,
+ author = {Ballarin, Clemens},
+ journal = JAR,
+ note = {Online version; to appear in print.},
+ publisher = Springer,
+ title = {Locales: A Module System for Mathematical Theories},
+ url = {http://dx.doi.org/10.1007/s10817-013-9284-7},
+ year = {2013}}
+
@InCollection{Barendregt-Geuvers:2001,
author = {H. Barendregt and H. Geuvers},
title = {Proof Assistants using Dependent Type Systems},