src/HOL/Data_Structures/Set_Specs.thy
12 months ago nipkow 2018-06-13 qualify interpretations to avoid clashes
12 months ago nipkow 2018-06-13 more abstract names
14 months ago nipkow 2018-04-08 more name tuning