src/HOL/BNF_Wellorder_Embedding.thy
Thu, 06 Mar 2014 14:15:09 +0100 traytel rationalized imports
Fri, 28 Feb 2014 17:54:52 +0100 traytel load Metis a little later
Wed, 22 Jan 2014 09:45:30 +0100 blanchet whitespace tuning
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