Summary
- reorganization, everything based on Tree2 now
The file was added | src/HOL/Data_Structures/Set2_Join.thy |
The file was added | src/HOL/Data_Structures/Set2_Join_RBT.thy |
The file was modified | src/HOL/ROOT (diff) |
The file was removed | src/HOL/Data_Structures/Set2_BST2_Join.thy |
The file was removed | src/HOL/Data_Structures/Set2_BST2_Join_RBT.thy |
The file was removed | src/HOL/Data_Structures/Set2_BST_Join.thy |