History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/AA_Set.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
# 5fde6c5f 11-Jun-2018 nipkow <none@none>

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

del_max -> split_max
# 99ffcf66 07-Apr-2018 nipkow <none@none>

moved and renamed lemmas
# f5796e6d 14-Feb-2018 wenzelm <none@none>

more symbols;
# 5589896c 12-Jan-2018 wenzelm <none@none>

isabelle update_cartouches -c;
# 7f03ed51 07-Jan-2018 wenzelm <none@none>

prefer formal comments;
# 003e020b 10-Nov-2017 nipkow <none@none>

replaced raw proof blocks by local lemmas
# 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
# 315f2fe3 06-Mar-2016 nipkow <none@none>

tuned
# 5032466a 02-Mar-2016 nipkow <none@none>

added invariant proofs to AA trees
# 35f7dccd 23-Feb-2016 nipkow <none@none>

more canonical names
# 30b4a859 13-Jan-2016 nipkow <none@none>

tuned layout
# b561ebd0 11-Jan-2016 nipkow <none@none>

added AA_Map; tuned titles
# d22ed883 06-Dec-2015 nipkow <none@none>

added AA trees