| Wed, 25 Sep 2019 17:22:57 +0200 |
nipkow |
replaced new type ('a,'b) tree by old type ('a*'b) tree.
|
file |
diff |
annotate
|
| Mon, 11 Jun 2018 16:29:27 +0200 |
nipkow |
tuned order of arguments
|
file |
diff |
annotate
|
| Sun, 08 Apr 2018 12:31:08 +0200 |
nipkow |
moved and renamed lemmas
|
file |
diff |
annotate
|
| Sun, 08 Apr 2018 11:05:52 +0200 |
nipkow |
more name tuning
|
file |
diff |
annotate
|
| 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
|