| changeset 76987 | 4c275405faae |
| parent 67399 | eab6ce8368fa |
| child 80914 | d97fdabd9e2b |
--- a/src/HOL/Proofs/Lambda/Standardization.thy Sun Jan 15 16:28:03 2023 +0100 +++ b/src/HOL/Proofs/Lambda/Standardization.thy Sun Jan 15 18:30:18 2023 +0100 @@ -10,8 +10,8 @@ begin text \<open> -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>\<open>"Matthes-ESSLLI2000"\<close>, +original proof idea due to Ralph Loader \<^cite>\<open>Loader1998\<close>. \<close>