src/HOL/Library/Set_Idioms.thy
8 months ago haftmann 2018-11-18 removed legacy input syntax
10 months ago paulson 2018-09-17 Set idioms theory "finite intersection_of open", etc.