changeset 58620 | 7435b6a3f72e |
parent 48985 | 5386df44a037 |
child 58860 | fee7cfa69c50 |
--- 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}