more antiquotations;

--- a/src/ZF/Induct/Primrec.thy	Tue Oct 07 23:29:43 2014 +0200
+++ b/src/ZF/Induct/Primrec.thy	Tue Oct 07 23:52:34 2014 +0200
@@ -8,7 +8,7 @@
 theory Primrec imports Main begin
 
 text {*
-  Proof adopted from \cite{szasz93}.
+  Proof adopted from @{cite szasz93}.
 
   See also \cite[page 250, exercise 11]{mendelson}.
 *}