src/HOL/Library/Cardinal_Notations.thy
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-01-23 blanchet 2014-01-23 hide 'csum' etc.
2014-01-20 blanchet 2014-01-20 renamed 'regular' to 'regularCard' to avoid clashes (e.g. in Meson_Test)
2014-01-20 blanchet 2014-01-20 deactivate one more cardinal notation
2014-01-20 blanchet 2014-01-20 dissolved BNF session