--- a/src/HOL/Data_Structures/document/root.tex Sun Oct 18 23:03:43 2015 +0200
+++ b/src/HOL/Data_Structures/document/root.tex Mon Oct 19 15:58:13 2015 +0200
@@ -37,10 +37,13 @@
\section{Bibliographic Notes}
-\paragraph{Red-Black trees}
+\paragraph{Red-black trees}
The insert function follows Okasaki \cite{Okasaki}, the delete function
Kahrs \cite{Kahrs-html,Kahrs-JFP01}.
+\paragraph{2-3 trees}
+The function definitions are based on the teaching material by Franklyn Turbak.
+
\bibliographystyle{abbrv}
\bibliography{root}