src/HOL/Data_Structures/Tree23_Set.thy
changeset 73255 7e2a9a8c2b85
parent 72805 976d656ed31e
child 78199 d6e6618db929