--- a/src/Doc/Tutorial/Datatype/Nested.thy Tue Oct 07 21:44:41 2014 +0200
+++ b/src/Doc/Tutorial/Datatype/Nested.thy Tue Oct 07 22:35:11 2014 +0200
@@ -150,7 +150,7 @@
instead. Simple uses of \isacommand{fun} are described in
\S\ref{sec:fun} below. Advanced applications, including functions
over nested datatypes like @{text term}, are discussed in a
-separate tutorial~\cite{isabelle-function}.
+separate tutorial~@{cite "isabelle-function"}.
Of course, you may also combine mutual and nested recursion of datatypes. For example,
constructor @{text Sum} in \S\ref{sec:datatype-mut-rec} could take a list of