src/HOL/Library/Set_Algebras.thy
2010-08-20 ago split and enriched theory SetsAndFunctions