src/HOL/Data_Structures/AA_Set.thy
10 months ago nipkow 2018-06-13 qualify interpretations to avoid clashes
10 months ago nipkow 2018-06-12 more abstract naming
10 months ago nipkow 2018-06-11 tuned order of arguments
12 months ago nipkow 2018-04-23 del_max -> split_max
12 months ago nipkow 2018-04-08 moved and renamed lemmas
14 months ago wenzelm 2018-02-15 more symbols;
15 months ago wenzelm 2018-01-12 isabelle update_cartouches -c;
15 months ago wenzelm 2018-01-07 prefer formal comments;
17 months ago nipkow 2017-11-10 replaced raw proof blocks by local lemmas
2016-08-09 nipkow 2016-08-09 introduced aggressive splitter "split!"
2016-07-07 nipkow 2016-07-07 got rid of class cmp; added height-size proofs by Daniel Stuewe
2016-03-06 nipkow 2016-03-06 tuned
2016-03-02 nipkow 2016-03-02 added invariant proofs to AA trees
2016-02-23 nipkow 2016-02-23 more canonical names
2016-01-13 nipkow 2016-01-13 tuned layout
2016-01-11 nipkow 2016-01-11 added AA_Map; tuned titles
2015-12-06 nipkow 2015-12-06 added AA trees