src/HOL/Library/RBT.thy
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.