
diff -r 423202f05a43 -r 7975676c08c0 src/Doc/Implementation/Eq.thy
--- a/src/Doc/Implementation/Eq.thy	Sun Oct 05 22:46:20 2014 +0200
+++ b/src/Doc/Implementation/Eq.thy	Sun Oct 05 22:47:07 2014 +0200
@@ -76,7 +76,7 @@
   %FIXME
 
   The classic article that introduces the concept of conversion (for
-  Cambridge LCF) is \cite{paulson:1983}.
+  Cambridge LCF) is @{cite "paulson:1983"}.
 *}
 
 




