History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Brother12_Set.thy
Revision Date Author Comments
# 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
# 83292697 08-Apr-2018 nipkow <none@none>

better name; added binary operations

--HG--
rename : src/HOL/Data_Structures/Set_by_Ordered.thy => src/HOL/Data_Structures/Set_Interfaces.thy
# 0a3fa2e8 23-Mar-2018 nipkow <none@none>

eliminated "elems"
# f5796e6d 14-Feb-2018 wenzelm <none@none>

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

isabelle update_cartouches -c;
# 003e020b 10-Nov-2017 nipkow <none@none>

replaced raw proof blocks by local lemmas
# 17bc899d 18-Aug-2017 wenzelm <none@none>

session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
# 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
# b561ebd0 11-Jan-2016 nipkow <none@none>

added AA_Map; tuned titles
# 87c42b1e 08-Dec-2015 nipkow <none@none>

tightened invariant
# fc64a08f 06-Dec-2015 nipkow <none@none>

tuned
# 4df3a499 05-Dec-2015 nipkow <none@none>

added Brother12_Map
# 99773bc2 04-Dec-2015 nipkow <none@none>

added 1-2 brother trees