| Fri, 12 Jun 2015 21:53:05 +0200 |
haftmann |
slight preference for American English
|
changeset |
files
|
| Fri, 12 Jun 2015 21:52:49 +0200 |
haftmann |
generalized euclidean ring prerequisites
|
changeset |
files
|
| Fri, 12 Jun 2015 21:52:48 +0200 |
haftmann |
simplified relationship between associated and is_unit
|
changeset |
files
|
| Sat, 13 Jun 2015 00:33:14 +0100 |
paulson |
proof tidying
|
changeset |
files
|
| Fri, 12 Jun 2015 08:53:23 +0200 |
haftmann |
CONTRIBUTORS
|
changeset |
files
|
| Fri, 12 Jun 2015 08:53:23 +0200 |
haftmann |
tuned lemmas and proofs
|
changeset |
files
|
| Fri, 12 Jun 2015 08:53:23 +0200 |
haftmann |
given up trivial definition
|
changeset |
files
|
| Fri, 12 Jun 2015 08:53:23 +0200 |
haftmann |
dropped warnings by dropping ineffective code declarations
|
changeset |
files
|
| Fri, 12 Jun 2015 08:53:23 +0200 |
haftmann |
standardized algebraic conventions: prefer a, b, c over x, y, z
|
changeset |
files
|
| Fri, 12 Jun 2015 08:53:23 +0200 |
haftmann |
uniform _ div _ as infix syntax for ring division
|
changeset |
files
|
| Thu, 11 Jun 2015 21:41:55 +0100 |
paulson |
fixed several "inside-out" proofs
|
changeset |
files
|
| Thu, 11 Jun 2015 18:24:44 +0200 |
hoelzl |
add transfer theorems for fixed points
|
changeset |
files
|
| Thu, 11 Jun 2015 00:13:25 +0100 |
paulson |
Merge
|
changeset |
files
|
| Thu, 11 Jun 2015 00:12:27 +0100 |
paulson |
tidied more proofs
|
changeset |
files
|
| Wed, 10 Jun 2015 23:34:23 +0200 |
wenzelm |
misc tuning;
|
changeset |
files
|