| changeset 61697 | 0753dd4c9144 |
| parent 61525 | 87244a9cfe40 |
| child 61784 | 21b34a2269e5 |
--- a/src/HOL/Data_Structures/document/root.tex Wed Nov 18 08:54:58 2015 +0100 +++ b/src/HOL/Data_Structures/document/root.tex Wed Nov 18 10:12:37 2015 +0100 @@ -42,7 +42,8 @@ Kahrs \cite{Kahrs-html,Kahrs-JFP01}. \paragraph{2-3 trees} -The function definitions are based on the teaching material by Franklyn Turbak. +The function definitions are based on the teaching material by +Turbak~\cite{Turbak230}. \paragraph{Splay trees} They were invented by Sleator and Tarjan \cite{SleatorT-JACM85}.