src/HOL/Data_Structures/AVL_Map.thy
Wed, 06 May 2020 10:46:19 +0200 nipkow tuned
Tue, 28 Apr 2020 18:34:59 +0200 nipkow use abs(h l - h r) instead of 3 cases, tuned proofs
Wed, 01 Apr 2020 21:48:39 +0200 nipkow simplified code and proofs
less more (0) -10 -3 tip