| #
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
|