| changeset 58555 | 7975676c08c0 |
| parent 56420 | b266e7a86485 |
| child 58618 | 782f0b662cae |
--- 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"}. *}