src/HOL/Data_Structures/Tree_Set.thy
changeset 66787 64b47495676d
parent 66453 cc19f7ca2ed6
child 67929 30486b96274d