Summary
- tuned name
- removed unclear clause; slower but clearer
The file was modified | src/HOL/Data_Structures/RBT_Set.thy (diff) |
The file was modified | src/HOL/Data_Structures/RBT.thy (diff) |
The file was modified | src/HOL/Data_Structures/RBT_Set.thy (diff) |