src/HOL/Data_Structures/document/root.tex
2015-10-30 nipkow 2015-10-30 added splay trees
2015-10-19 nipkow 2015-10-19 tuned text
2015-09-22 nipkow 2015-09-22 added red black trees
2015-09-21 nipkow 2015-09-21 New subdirectory for functional data structures