| Wed, 10 Apr 2019 21:29:32 +0100 |
paulson |
Fixing the main Homology theory; also moving a lot of sum/prod lemmas into their generic context
|
file |
diff |
annotate
|
| Thu, 25 Oct 2018 09:48:02 +0000 |
haftmann |
more and generalized lemmas
|
file |
diff |
annotate
|
| Mon, 24 Sep 2018 14:30:09 +0200 |
nipkow |
Prefix form of infix with * on either side no longer needs special treatment
|
file |
diff |
annotate
|
| Wed, 22 Aug 2018 12:32:58 +0000 |
haftmann |
more theorems on fact
|
file |
diff |
annotate
|
| Sun, 20 May 2018 11:57:17 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
| Mon, 09 Apr 2018 15:20:11 +0100 |
paulson |
Syntax for the special cases Min(A`I) and Max (A`I)
|
file |
diff |
annotate
|
| Sat, 13 Jan 2018 09:18:54 +0000 |
haftmann |
restored naming of lemmas after corresponding constants
|
file |
diff |
annotate
|
| Wed, 10 Jan 2018 15:25:09 +0100 |
nipkow |
ran isabelle update_op on all sources
|
file |
diff |
annotate
|
| Sun, 08 Oct 2017 22:28:21 +0200 |
haftmann |
abolished (semi)ring_div in favour of euclidean_(semi)ring_cancel
|
file |
diff |
annotate
|
| Fri, 01 Sep 2017 12:57:24 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
| Fri, 11 Aug 2017 14:29:30 +0200 |
eberlm |
Some facts about orders of zeros
|
file |
diff |
annotate
|
| Fri, 12 May 2017 20:03:50 +0200 |
haftmann |
relaxed theory dependencies
|
file |
diff |
annotate
|
| Fri, 12 May 2017 07:53:35 +0200 |
haftmann |
explicit theory for factorials
|
file |
diff |
annotate
|