| #
9cdb4241 |
|
22-Jan-2018 |
Lars Hupel <lars.hupel@mytum.de> |
drop redundant cong rules
--HG--
extra : amend_source : 1974f5021d7fff2ed3f5184e9469a47765225c26
|
| #
a7ccdf43 |
|
10-Jan-2018 |
nipkow <none@none> |
ran isabelle update_op on all sources
|
| #
e736333f |
|
15-Aug-2017 |
nipkow <none@none> |
added sorted_wrt to List; added Data_Structures/Binomial_Heap.thy
|
| #
eee6992c |
|
03-Aug-2017 |
nipkow <none@none> |
added lemmas
|
| #
7823d57d |
|
02-Aug-2017 |
nipkow <none@none> |
generalized lemma
|
| #
593ff4b4 |
|
17-Oct-2016 |
nipkow <none@none> |
setprod -> prod
|
| #
351cc2e6 |
|
17-Oct-2016 |
nipkow <none@none> |
setsum -> sum
|
| #
131dfaff |
|
15-Sep-2016 |
nipkow <none@none> |
renamed listsum -> sum_list, listprod ~> prod_list
|
| #
48473ab7 |
|
22-Jun-2016 |
wenzelm <none@none> |
bundle lifting_syntax;
|
| #
1e23b491 |
|
16-Jun-2016 |
eberlm <none@none> |
Various additions to polynomials, FPSs, Gamma function
|
| #
0522687a |
|
11-Jun-2016 |
haftmann <none@none> |
boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes
--HG--
extra : rebase_source : 4542f54b0b7fe6c0bea5be2116706e4cfacadaf0
|
| #
a17d0d04 |
|
17-May-2016 |
Manuel Eberl <eberlm@in.tum.de> |
Resolved name clash
|
| #
94ba250a |
|
17-May-2016 |
eberlm <none@none> |
Moved material from AFP/Randomised_Social_Choice to distribution
|
| #
0bfb73b6 |
|
28-Dec-2015 |
wenzelm <none@none> |
former "xsymbols" syntax is used by default, and ASCII replacement syntax with print mode "ASCII";
|
| #
0df376fc |
|
07-Dec-2015 |
wenzelm <none@none> |
isabelle update_cartouches -c -t;
|
| #
e089ca2f |
|
02-Dec-2015 |
haftmann <none@none> |
modernized
|
| #
be9ace2b |
|
09-Nov-2015 |
wenzelm <none@none> |
qualifier is mandatory by default;
|
| #
8e8b881c |
|
04-Nov-2015 |
ballarin <none@none> |
Keyword 'rewrites' identifies rewrite morphisms.
|
| #
607ae3e3 |
|
09-Oct-2015 |
wenzelm <none@none> |
discontinued specific HTML syntax;
|
| #
1901affb |
|
18-Jul-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
77fe662c |
|
22-Jun-2015 |
nipkow <none@none> |
modernized name
|
| #
293b5ec0 |
|
17-Mar-2015 |
nipkow <none@none> |
added lemmas
|
| #
43297731 |
|
12-Nov-2014 |
nipkow <none@none> |
added lemma
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
0fd90968 |
|
18-Sep-2014 |
haftmann <none@none> |
product over monoids for lists
|
| #
eda30e71 |
|
11-Sep-2014 |
haftmann <none@none> |
abstract product over monoid for lists
--HG--
extra : rebase_source : cd03831f4946d582ef406a8e046836cb5941fb26
|
| #
1ba740de |
|
02-Sep-2014 |
blanchet <none@none> |
use 'datatype_new' in 'Main'
|
| #
d22c2cb6 |
|
31-Aug-2014 |
haftmann <none@none> |
separated listsum material
|