src/HOL/Cardinals/Bounded_Set.thy
2016-05-26 wenzelm 2016-05-26 isabelle update_cartouches -c -t;
2016-04-25 wenzelm 2016-04-25 eliminated old 'def'; tuned comments;
2016-02-16 traytel 2016-02-16 make predicator a first-class bnf citizen
2015-10-13 haftmann 2015-10-13 prod_case as canonical name for product type eliminator
2015-05-03 wenzelm 2015-05-03 proper header;
2015-03-18 traytel 2015-03-18 bounded powerset