| Tue, 28 Apr 2020 18:34:59 +0200 | nipkow | use abs(h l - h r) instead of 3 cases, tuned proofs | file | diff | annotate |
| Sat, 25 Apr 2020 16:31:43 +0200 | nipkow | added Height_Balanced_Trees | file | diff | annotate |
| Thu, 23 Apr 2020 22:54:23 +0200 | nipkow | split AVL_Set.thy | file | diff | annotate |