src/Doc/IsarRef/Spec.thy

--- a/src/Doc/IsarRef/Spec.thy	Wed Jan 22 17:22:26 2014 +0100
+++ b/src/Doc/IsarRef/Spec.thy	Wed Jan 22 21:14:27 2014 +0100
@@ -419,7 +419,7 @@
   redundant locale instances are omitted.  A locale instance is
   redundant if it is subsumed by an instance encountered earlier.  A
   more detailed description of this process is available elsewhere
-  \cite{Ballarin2013}.
+  \cite{Ballarin2014}.
 *}