equal
deleted
inserted
replaced
43 |
43 |
44 \paragraph{2-3 trees} |
44 \paragraph{2-3 trees} |
45 The function definitions are based on the teaching material by |
45 The function definitions are based on the teaching material by |
46 Turbak~\cite{Turbak230}. |
46 Turbak~\cite{Turbak230}. |
47 |
47 |
|
48 \paragraph{1-2 brother trees} |
|
49 They were invented by Ottmann and Six~\cite{OttmannS76,OttmannW-CJ80}. |
|
50 The functional version is due to Hinze~\cite{Hinze-bro12}. |
|
51 |
48 \paragraph{Splay trees} |
52 \paragraph{Splay trees} |
49 They were invented by Sleator and Tarjan \cite{SleatorT-JACM85}. |
53 They were invented by Sleator and Tarjan \cite{SleatorT-JACM85}. |
50 Our formalisation follows Schoenmakers \cite{Schoenmakers-IPL93}. |
54 Our formalisation follows Schoenmakers \cite{Schoenmakers-IPL93}. |
51 |
55 |
52 \bibliographystyle{abbrv} |
56 \bibliographystyle{abbrv} |