src/HOL/Cardinals/Cardinal_Arithmetic.thy
Wed, 12 Sep 2012 05:29:21 +0200 blanchet renamed "Ordinals_and_Cardinals" to "Cardinals"
less more (0) tip