src/ZF/Induct/Comb.thy

--- a/src/ZF/Induct/Comb.thy	Tue Oct 07 23:12:08 2014 +0200
+++ b/src/ZF/Induct/Comb.thy	Tue Oct 07 23:29:43 2014 +0200
@@ -10,7 +10,7 @@
 text {*
   Curiously, combinators do not include free variables.
 
-  Example taken from \cite{camilleri-melham}.
+  Example taken from @{cite camilleri92}.
 *}
 
 subsection {* Definitions *}