src/HOL/BNF_Cardinal_Arithmetic.thy
Tue, 18 Mar 2014 11:47:59 +0100 traytel tuned proofs; removed duplicated facts
Mon, 03 Mar 2014 12:48:20 +0100 blanchet life without 'metis'
Mon, 03 Mar 2014 12:48:19 +0100 blanchet optimize cardinal bounds involving natLeq (omega)
Fri, 28 Feb 2014 17:54:52 +0100 traytel load Metis a little later
Thu, 20 Feb 2014 15:14:37 +0100 noschinl less flex-flex pairs
Mon, 20 Jan 2014 18:24:56 +0100 blanchet tuned comments
Mon, 20 Jan 2014 18:24:55 +0100 blanchet renamed '_FP' files to 'BNF_' files
less more (0) tip