#
35216754 |
|
10-Apr-2019 |
paulson <lp15@cam.ac.uk> |
Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context
|
#
e5dab920 |
|
25-Oct-2018 |
haftmann <none@none> |
more and generalized 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.
|
#
7d1296e9 |
|
21-Aug-2018 |
haftmann <none@none> |
more theorems on fact --HG-- extra : rebase_source : 859e01eaf29c6359be1a0f8617744451f7f1ed5c
|
#
7c43e5f4 |
|
20-May-2018 |
wenzelm <none@none> |
prefer HTTPS;
|
#
8b81086d |
|
09-Apr-2018 |
paulson <lp15@cam.ac.uk> |
Syntax for the special cases Min(A`I) and Max (A`I)
|
#
fa1f0d8b |
|
13-Jan-2018 |
haftmann <none@none> |
restored naming of lemmas after corresponding constants
|
#
a7ccdf43 |
|
10-Jan-2018 |
nipkow <none@none> |
ran isabelle update_op on all sources
|
#
2ef94418 |
|
08-Oct-2017 |
haftmann <none@none> |
abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel --HG-- extra : rebase_source : c6612d6016d811043143eafb7a671631287494a1
|
#
ff3d60cc |
|
31-Aug-2017 |
wenzelm <none@none> |
tuned headers;
|
#
ecab1fa2 |
|
11-Aug-2017 |
eberlm <eberlm@in.tum.de> |
Some facts about orders of zeros
|
#
8d131b79 |
|
12-May-2017 |
haftmann <none@none> |
relaxed theory dependencies
|
#
a7795d49 |
|
11-May-2017 |
haftmann <none@none> |
explicit theory for factorials --HG-- extra : rebase_source : 1d0d73d3b93f0eb079a100628954fb1688def32f
|