| Sun, 08 Apr 2018 09:46:33 +0200 | nipkow | better name; added binary operations | file | diff | annotate |
| Fri, 23 Mar 2018 11:37:02 +0100 | nipkow | eliminated "elems" | file | diff | annotate |
| Thu, 07 Jul 2016 18:08:02 +0200 | nipkow | got rid of class cmp; added height-size proofs by Daniel Stuewe | file | diff | annotate |
| Tue, 23 Feb 2016 16:25:08 +0100 | nipkow | more canonical names | file | diff | annotate |
| Tue, 17 Nov 2015 11:44:10 +0100 | nipkow | removed lemmas that were only needed for old version of isin. | file | diff | annotate |
| Tue, 22 Sep 2015 17:13:01 +0200 | nipkow | unified isin-proofs | file | diff | annotate |
| Tue, 22 Sep 2015 08:38:25 +0200 | nipkow | added red black trees | file | diff | annotate |