History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/AVL_Map.thy
Revision Date Author Comments
# 97bce028 13-Jun-2018 nipkow <none@none>

qualify interpretations to avoid clashes
# 83ad70a0 12-Jun-2018 nipkow <none@none>

more abstract naming
# d6960dd1 11-Jun-2018 nipkow <none@none>

proved avl for map (finally); tuned
# 5fde6c5f 11-Jun-2018 nipkow <none@none>

tuned order of arguments
# 87aaaee7 23-Apr-2018 nipkow <none@none>

del_max -> split_max
# 5589896c 12-Jan-2018 wenzelm <none@none>

isabelle update_cartouches -c;
# 4fd0cb28 07-Jul-2016 nipkow <none@none>

got rid of class cmp; added height-size proofs by Daniel Stuewe
# 9135b9be 05-Dec-2015 nipkow <none@none>

avoid name clashes
# 212a23f2 16-Nov-2015 nipkow <none@none>

tuned names
# 2b7303bf 12-Nov-2015 nipkow <none@none>

tuned name
# efd623c1 05-Nov-2015 nipkow <none@none>

Convertd to 3-way comparisons
# c87cf195 23-Sep-2015 nipkow <none@none>

added AVL and lookup function