
diff -r 7a2c567061b3 -r aa99568f56de src/HOL/Proofs/Lambda/Standardization.thy
--- a/src/HOL/Proofs/Lambda/Standardization.thy	Tue Oct 07 22:54:49 2014 +0200
+++ b/src/HOL/Proofs/Lambda/Standardization.thy	Tue Oct 07 23:12:08 2014 +0200
@@ -10,8 +10,8 @@
 begin
 
 text {*
-Based on lecture notes by Ralph Matthes \cite{Matthes-ESSLLI2000},
-original proof idea due to Ralph Loader \cite{Loader1998}.
+Based on lecture notes by Ralph Matthes @{cite "Matthes-ESSLLI2000"},
+original proof idea due to Ralph Loader @{cite Loader1998}.
 *}
 
 




