History log of /seL4-l4v-10.1.1/isabelle/src/HOL/Data_Structures/Set2_Join.thy
Revision Date Author Comments
# 8413f38b 22-Jun-2018 wenzelm <none@none>

clarified document antiquotation @{theory};
# 5fde6c5f 11-Jun-2018 nipkow <none@none>

tuned order of arguments
# 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