src/HOL/ex/Set_Comprehension_Pointfree_Examples.thy
2015-10-06 wenzelm 2015-10-06 isabelle update_cartouches;
2015-10-06 wenzelm 2015-10-06 fewer aliases for toplevel theorem statements;
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-02-21 wenzelm 2014-02-21 more standard theory name;