History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Tree234_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
# 93bea17d 21-Apr-2018 nipkow <none@none>

del_min -> split_min
# 116c2e29 08-Apr-2018 nipkow <none@none>

more name tuning

--HG--
rename : src/HOL/Data_Structures/Map_by_Ordered.thy => src/HOL/Data_Structures/Map_Specs.thy
rename : src/HOL/Data_Structures/Set_Interfaces.thy => src/HOL/Data_Structures/Set_Specs.thy
# 0e1ddc68 09-Aug-2016 nipkow <none@none>

introduced aggressive splitter "split!"
# 4fd0cb28 07-Jul-2016 nipkow <none@none>

got rid of class cmp; added height-size proofs by Daniel Stuewe
# b561ebd0 11-Jan-2016 nipkow <none@none>

added AA_Map; tuned titles
# 9135b9be 05-Dec-2015 nipkow <none@none>

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

tuned names
# f42b3257 11-Nov-2015 nipkow <none@none>

no CRLF
# efd623c1 05-Nov-2015 nipkow <none@none>

Convertd to 3-way comparisons
# b5b9dd66 25-Oct-2015 nipkow <none@none>

added 234-trees (slow)