src/Doc/Tutorial/Fun/fun0.thy

--- a/src/Doc/Tutorial/Fun/fun0.thy	Tue Oct 07 21:44:41 2014 +0200
+++ b/src/Doc/Tutorial/Fun/fun0.thy	Tue Oct 07 22:35:11 2014 +0200
@@ -96,7 +96,7 @@
 
 text{* The order of arguments has no influence on whether
 \isacommand{fun} can prove termination of a function. For more details
-see elsewhere~\cite{bulwahnKN07}.
+see elsewhere~@{cite bulwahnKN07}.
 
 \subsection{Simplification}
 \label{sec:fun-simplification}