src/HOL/Groups_List.thy
2016-10-17 nipkow 2016-10-17 setprod -> prod
2016-10-17 nipkow 2016-10-17 setsum -> sum
2016-09-15 nipkow 2016-09-15 renamed listsum -> sum_list, listprod ~> prod_list
2016-06-22 wenzelm 2016-06-22 bundle lifting_syntax;
2016-06-16 eberlm 2016-06-16 Various additions to polynomials, FPSs, Gamma function
2016-06-11 haftmann 2016-06-11 boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes
2016-05-18 Manuel Eberl 2016-05-18 Resolved name clash
2016-05-17 eberlm 2016-05-17 Moved material from AFP/Randomised_Social_Choice to distribution
2015-12-28 wenzelm 2015-12-28 former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
2015-12-07 wenzelm 2015-12-07 isabelle update_cartouches -c -t;
2015-12-02 haftmann 2015-12-02 modernized
2015-11-09 wenzelm 2015-11-09 qualifier is mandatory by default;
2015-11-04 ballarin 2015-11-04 Keyword 'rewrites' identifies rewrite morphisms.
2015-10-09 wenzelm 2015-10-09 discontinued specific HTML syntax;
2015-07-18 wenzelm 2015-07-18 isabelle update_cartouches;
2015-06-22 nipkow 2015-06-22 modernized name
2015-03-17 nipkow 2015-03-17 added lemmas
2014-11-13 nipkow 2014-11-13 added lemma
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-18 haftmann 2014-09-18 product over monoids for lists
2014-09-11 haftmann 2014-09-11 abstract product over monoid for lists
2014-09-03 blanchet 2014-09-03 use 'datatype_new' in 'Main'
2014-08-31 haftmann 2014-08-31 separated listsum material