src/HOL/Data_Structures/AVL_Set.thy
2015-10-13 nipkow 2015-10-13 added invar empty
2015-09-23 nipkow 2015-09-23 added AVL and lookup function