| Sun, 13 Mar 2011 22:55:50 +0100 | wenzelm | tuned headers; | file | diff | annotate |
| Wed, 08 Dec 2010 13:34:50 +0100 | haftmann | hide popular names R and B | file | diff | annotate |
| Mon, 13 Sep 2010 11:13:15 +0200 | nipkow | renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI | file | diff | annotate |
| Tue, 07 Sep 2010 10:05:19 +0200 | nipkow | expand_fun_eq -> ext_iff | file | diff | annotate |
| Mon, 28 Jun 2010 15:03:07 +0200 | haftmann | merged constants "split" and "prod_case" | file | diff | annotate |
| Fri, 18 Jun 2010 15:03:20 +0200 | haftmann | prefer fold over foldl | file | diff | annotate |
| 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 |