| Fri, 12 Jun 2015 21:53:07 +0200 |
haftmann |
proper subclass instances for existing gcd (semi)rings
|
file |
diff |
annotate
|
| Fri, 12 Jun 2015 21:53:05 +0200 |
haftmann |
slight preference for American English
|
file |
diff |
annotate
|
| Fri, 12 Jun 2015 21:52:49 +0200 |
haftmann |
generalized euclidean ring prerequisites
|
file |
diff |
annotate
|
| Fri, 12 Jun 2015 21:52:48 +0200 |
haftmann |
simplified relationship between associated and is_unit
|
file |
diff |
annotate
|
| Fri, 12 Jun 2015 08:53:23 +0200 |
haftmann |
tuned lemmas and proofs
|
file |
diff |
annotate
|
| Fri, 12 Jun 2015 08:53:23 +0200 |
haftmann |
given up trivial definition
|
file |
diff |
annotate
|
| Fri, 12 Jun 2015 08:53:23 +0200 |
haftmann |
dropped warnings by dropping ineffective code declarations
|
file |
diff |
annotate
|
| Fri, 12 Jun 2015 08:53:23 +0200 |
haftmann |
standardized algebraic conventions: prefer a, b, c over x, y, z
|
file |
diff |
annotate
|
| Wed, 26 Nov 2014 15:59:46 +0100 |
haftmann |
prefer abbrev for is_unit
|
file |
diff |
annotate
|
| Mon, 17 Nov 2014 14:55:34 +0100 |
haftmann |
generalized lemmas and tuned proofs
|
file |
diff |
annotate
|
| Mon, 17 Nov 2014 14:55:33 +0100 |
haftmann |
generalized lemmas (particularly concerning dvd) as far as appropriate
|
file |
diff |
annotate
|
| Sun, 09 Nov 2014 10:03:17 +0100 |
haftmann |
self-contained simp rules for dvd on numerals
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Fri, 22 Aug 2014 08:43:14 +0200 |
haftmann |
generic euclidean algorithm (due to Manuel Eberl)
|
file |
diff |
annotate
|