src/HOL/Cardinals/Cardinal_Order_Relation_FP.thy
Mon, 18 Nov 2013 18:04:45 +0100 blanchet compile
less more (0) tip