src/HOL/Library/Cardinal_Notations.thy
Thu, 23 Jan 2014 19:02:22 +0100 blanchet hide 'csum' etc.
Mon, 20 Jan 2014 22:24:48 +0100 blanchet renamed 'regular' to 'regularCard' to avoid clashes (e.g. in Meson_Test)
Mon, 20 Jan 2014 18:59:53 +0100 blanchet deactivate one more cardinal notation
Mon, 20 Jan 2014 18:24:56 +0100 blanchet dissolved BNF session
less more (0) tip