src/HOL/Data_Structures/document/root.tex
2016-03-24 nipkow 2016-03-24 added Leftist_Heap
2016-03-02 nipkow 2016-03-02 added invariant proofs to AA trees
2015-12-05 nipkow 2015-12-05 tuned
2015-12-04 nipkow 2015-12-04 added 1-2 brother trees
2015-11-18 nipkow 2015-11-18 converted to cmp
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