src/HOL/ex/Set_Comprehension_Pointfree_Examples.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-02-21 wenzelm 2014-02-21 more standard theory name;