src/HOL/BNF_Wellorder_Embedding.thy
Sun, 09 Aug 2020 13:18:40 +0100 paulson elimination of some needless assumptions
Sat, 08 Aug 2020 16:15:03 +0100 paulson iso lemmas
Sat, 23 May 2020 21:24:33 +0100 paulson a few new lemmas about functions
Thu, 15 Feb 2018 12:11:00 +0100 wenzelm more symbols;
Sun, 26 Nov 2017 21:08:32 +0100 wenzelm more symbols;
Fri, 13 May 2016 20:24:10 +0200 wenzelm eliminated use of empty "assms";
Mon, 07 Dec 2015 10:38:04 +0100 wenzelm isabelle update_cartouches -c -t;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Fri, 26 Jun 2015 10:20:33 +0200 wenzelm tuned whitespace;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
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