| Fri, 16 Apr 2010 21:28:09 +0200 | wenzelm | replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords; | file | diff | annotate |
| Thu, 15 Apr 2010 12:27:14 +0200 | haftmann | theory RBT with abstract type of red-black trees backed by implementation RBT_Impl | file | diff | annotate | base |