| changeset 58622 | aa99568f56de |
| parent 39157 | b98909faaea8 |
| child 58889 | 5b7a9633cfa8 |
--- 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}. *}