[isabelle-dev] NEWS: Red-Black Trees

Alexander Krauss krauss at in.tum.de
Wed Mar 5 14:21:05 CET 2008

Next message (by thread): [isabelle-dev] NEWS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Next message (by thread): [isabelle-dev] NEWS
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list