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 |