History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Set_Specs.thy
Revision Date Author Comments
# fb6b5684 25-Jun-2018 nipkow <none@none>

added lemmas; uniform names

--HG--
rename : src/HOL/Data_Structures/Priority_Queue.thy => src/HOL/Data_Structures/Priority_Queue_Specs.thy
# 97bce028 13-Jun-2018 nipkow <none@none>

qualify interpretations to avoid clashes
# 07f8e0e8 13-Jun-2018 nipkow <none@none>

more abstract names
# 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