src/HOL/Library/Set_Idioms.thy
7 months ago paulson 2019-03-18 new material;' strengthened material; moved proofs out of Function_Topology in order to lessen its dependencies
11 months ago haftmann 2018-11-22 removed legacy input syntax
11 months ago haftmann 2018-11-18 removed legacy input syntax
13 months ago paulson 2018-09-17 Set idioms theory "finite intersection_of open", etc.