src/HOL/Library/RBT.thy
2009-07-28 krauss 2009-07-28 tuned
2009-07-27 krauss 2009-07-27 added missing proof of RBT.map_of_alist_of (contributed by Peter Lammich)
2009-03-27 haftmann 2009-03-27 normalized imports
2009-03-04 nipkow 2009-03-04 Made Option a separate theory and renamed option_map to Option.map
2008-06-26 haftmann 2008-06-26 established Plain theory and image
2008-03-03 krauss 2008-03-03 new theory of red-black trees, an efficient implementation of finite maps.