src/HOL/Data_Structures/Set_by_Ordered.thy
changeset 66787 64b47495676d
parent 61640 44c9198f210c
child 67406 23307fd33906