[isabelle-dev] NEWS: Red-Black Trees

[Alexander Krauss]

* Library/RBT.thy: New theory of red-black trees, an efficient
implementation of finite maps. Contributed by Markus Reiter.