src/HOL/Groups_List.thy
Tue, 15 Aug 2017 19:47:08 +0200 nipkow added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
Thu, 03 Aug 2017 09:30:09 +0200 nipkow added lemmas
Wed, 02 Aug 2017 18:22:02 +0200 nipkow generalized lemma
Mon, 17 Oct 2016 17:33:07 +0200 nipkow setprod -> prod
Mon, 17 Oct 2016 11:46:22 +0200 nipkow setsum -> sum
Thu, 15 Sep 2016 11:48:20 +0200 nipkow renamed listsum -> sum_list, listprod ~> prod_list
Wed, 22 Jun 2016 10:09:20 +0200 wenzelm bundle lifting_syntax;
Thu, 16 Jun 2016 17:57:09 +0200 eberlm Various additions to polynomials, FPSs, Gamma function
Sat, 11 Jun 2016 16:22:42 +0200 haftmann boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes
Wed, 18 May 2016 12:24:33 +0200 Manuel Eberl Resolved name clash
Tue, 17 May 2016 17:05:35 +0200 eberlm Moved material from AFP/Randomised_Social_Choice to distribution
Mon, 28 Dec 2015 21:47:32 +0100 wenzelm former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
Mon, 07 Dec 2015 10:38:04 +0100 wenzelm isabelle update_cartouches -c -t;
Wed, 02 Dec 2015 19:14:57 +0100 haftmann modernized
Mon, 09 Nov 2015 15:48:17 +0100 wenzelm qualifier is mandatory by default;
Wed, 04 Nov 2015 08:13:52 +0100 ballarin Keyword 'rewrites' identifies rewrite morphisms.
Fri, 09 Oct 2015 20:26:03 +0200 wenzelm discontinued specific HTML syntax;
Sat, 18 Jul 2015 22:58:50 +0200 wenzelm isabelle update_cartouches;
Mon, 22 Jun 2015 11:15:23 +0200 nipkow modernized name
Tue, 17 Mar 2015 09:22:17 +0100 nipkow added lemmas
Thu, 13 Nov 2014 12:35:55 +0100 nipkow added lemma
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Thu, 18 Sep 2014 15:07:43 +0200 haftmann product over monoids for lists
Thu, 11 Sep 2014 23:12:32 +0200 haftmann abstract product over monoid for lists
Wed, 03 Sep 2014 00:06:24 +0200 blanchet use 'datatype_new' in 'Main'
Sun, 31 Aug 2014 09:10:42 +0200 haftmann separated listsum material
less more (0) tip