src/HOL/BNF_Cardinal_Arithmetic.thy
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