src/HOL/Data_Structures/Brother12_Set.thy
14 months ago nipkow 2018-04-21 del_min -> split_min
14 months ago nipkow 2018-04-08 more name tuning
14 months ago nipkow 2018-04-08 better name; added binary operations
15 months ago nipkow 2018-03-23 eliminated "elems"
16 months ago wenzelm 2018-02-15 more symbols;
17 months ago wenzelm 2018-01-12 isabelle update_cartouches -c;
19 months ago nipkow 2017-11-10 replaced raw proof blocks by local lemmas
22 months ago wenzelm 2017-08-18 session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
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-01-11 nipkow 2016-01-11 added AA_Map; tuned titles
2015-12-08 nipkow 2015-12-08 tightened invariant
2015-12-06 nipkow 2015-12-06 tuned
2015-12-05 nipkow 2015-12-05 added Brother12_Map
2015-12-04 nipkow 2015-12-04 added 1-2 brother trees