Mon, 17 Oct 2016 11:46:22 +0200 |
nipkow |
setsum -> sum
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 09:31:05 +0200 |
haftmann |
more standardized theorem names for facts involving the div and mod identity
|
file |
diff |
annotate
|
Sun, 16 Oct 2016 09:31:04 +0200 |
haftmann |
more standardized names
|
file |
diff |
annotate
|
Wed, 12 Oct 2016 20:38:47 +0200 |
haftmann |
separate type class for arbitrary quotient and remainder partitions
|
file |
diff |
annotate
|
Thu, 29 Sep 2016 11:24:36 +0100 |
paulson |
Generalised the type of map_poly
|
file |
diff |
annotate
|
Mon, 26 Sep 2016 07:56:54 +0200 |
haftmann |
syntactic type class for operation mod named after mod;
|
file |
diff |
annotate
|
Fri, 16 Sep 2016 12:30:55 +0200 |
haftmann |
prefer abbreviation for trivial set conversion
|
file |
diff |
annotate
|
Fri, 09 Sep 2016 15:12:40 +0200 |
nipkow |
msetsum -> set_mset, msetprod -> prod_mset
|
file |
diff |
annotate
|
Thu, 01 Sep 2016 21:28:55 +0200 |
wenzelm |
tuned headers;
|
file |
diff |
annotate
|
Thu, 25 Aug 2016 17:17:23 +0200 |
Manuel Eberl |
Deprivatisation of lemmas in Polynomial_Factorial
|
file |
diff |
annotate
|
Tue, 16 Aug 2016 12:41:43 +0200 |
eberlm |
Polynomial algebra cleanup (tuned)
|
file |
diff |
annotate
|
Tue, 16 Aug 2016 12:02:09 +0200 |
eberlm |
Polynomial algebra cleanup
|
file |
diff |
annotate
| base
|