src/HOL/Finite_Set.thy
Wed, 04 Nov 2015 08:13:52 +0100 ballarin Keyword 'rewrites' identifies rewrite morphisms.
Mon, 26 Oct 2015 23:41:27 +0000 paulson new lemmas about topology, etc., for Cauchy integral formula
Sun, 13 Sep 2015 22:56:52 +0200 wenzelm tuned proofs -- less legacy;
Tue, 01 Sep 2015 22:32:58 +0200 wenzelm eliminated \<Colon>;
Mon, 20 Jul 2015 23:12:50 +0100 paulson new material for multivariate analysis, etc.
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Sat, 27 Jun 2015 00:10:24 +0200 wenzelm premises in 'show' are treated like 'assume';
Fri, 26 Jun 2015 10:20:33 +0200 wenzelm tuned whitespace;
Tue, 26 May 2015 21:58:04 +0100 paulson New material about paths, and some lemmas
Wed, 11 Feb 2015 14:15:59 +0100 Andreas Lochbihler add lema about card and vimage
Wed, 11 Feb 2015 14:12:30 +0100 Andreas Lochbihler add more general version of finite_vimageD
Tue, 10 Feb 2015 16:08:11 +0000 paulson New lemmas and a bit of tidying up.
Sat, 10 Jan 2015 13:31:37 +0100 nipkow added lemma
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Sat, 06 Sep 2014 20:12:32 +0200 haftmann added various facts
less more (0) -300 -100 -15 tip