History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Set2_Join_RBT.thy
Revision Date Author Comments
# 9d923cef 24-May-2018 nipkow <none@none>

reorganization, everything based on Tree2 now

--HG--
rename : src/HOL/Data_Structures/Set2_BST2_Join.thy => src/HOL/Data_Structures/Set2_Join.thy
rename : src/HOL/Data_Structures/Set2_BST2_Join_RBT.thy => src/HOL/Data_Structures/Set2_Join_RBT.thy