src/HOL/Data_Structures/document/root.tex
changeset 61525 87244a9cfe40
parent 61480 3885464e4874
child 61697 0753dd4c9144
     1.1 --- a/src/HOL/Data_Structures/document/root.tex	Thu Oct 29 15:40:52 2015 +0100
     1.2 +++ b/src/HOL/Data_Structures/document/root.tex	Fri Oct 30 20:01:05 2015 +0100
     1.3 @@ -44,6 +44,10 @@
     1.4  \paragraph{2-3 trees}
     1.5  The function definitions are based on the teaching material by Franklyn Turbak.
     1.6  
     1.7 +\paragraph{Splay trees}
     1.8 +They were invented by Sleator and Tarjan \cite{SleatorT-JACM85}.
     1.9 +Our formalisation follows Schoenmakers \cite{Schoenmakers-IPL93}.
    1.10 +
    1.11  \bibliographystyle{abbrv}
    1.12  \bibliography{root}
    1.13