src/HOL/Data_Structures/Tree_Map.thy
2015-11-16 nipkow 2015-11-16 tuned names
2015-11-13 nipkow 2015-11-13 unnecessary precondition
2015-11-13 nipkow 2015-11-13 tuned
2015-11-11 nipkow 2015-11-11 no CRLF
2015-11-05 nipkow 2015-11-05 Convertd to 3-way comparisons
2015-11-02 nipkow 2015-11-02 tuned names and optimized comparison order
2015-09-23 nipkow 2015-09-23 tuned
2015-09-22 nipkow 2015-09-22 added red black trees
2015-09-21 nipkow 2015-09-21 New subdirectory for functional data structures