#
b8a5cd2f |
|
23-Oct-2019 |
haftmann <none@none> |
more transfer rules
|
#
927141b3 |
|
23-Oct-2019 |
haftmann <none@none> |
tuned syntax
|
#
a4bab154 |
|
04-Jan-2019 |
wenzelm <none@none> |
isabelle update -u control_cartouches;
|
#
f26c7180 |
|
04-Nov-2018 |
nipkow <none@none> |
more lemmas
|
#
cc37beb1 |
|
24-Sep-2018 |
nipkow <none@none> |
Prefix form of infix with * on either side no longer needs special treatment because (* and *) are no longer comment brackets in terms.
|
#
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
|