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