History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Lookup2.thy
Revision Date Author Comments
# 5fde6c5f 11-Jun-2018 nipkow <none@none>

tuned order of arguments
# 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
# 4fd0cb28 07-Jul-2016 nipkow <none@none>

got rid of class cmp; added height-size proofs by Daniel Stuewe
# 35f7dccd 23-Feb-2016 nipkow <none@none>

more canonical names
# 9135b9be 05-Dec-2015 nipkow <none@none>

avoid name clashes
# 0468d2ec 16-Nov-2015 nipkow <none@none>

converted lookup to cmp
# c87cf195 23-Sep-2015 nipkow <none@none>

added AVL and lookup function