| Sat, 01 Oct 2022 07:56:53 +0000 |
haftmann |
reduce prominence of facts
|
changeset |
files
|
| Fri, 30 Sep 2022 21:03:58 +0200 |
wenzelm |
clarified signature;
|
changeset |
files
|
| Fri, 30 Sep 2022 19:42:08 +0200 |
wenzelm |
more explanations on the new order prover (based on 10945fc183cd), without violating strict monotonicity of NEWS wrt. official releases;
|
changeset |
files
|
| Fri, 30 Sep 2022 19:26:28 +0200 |
wenzelm |
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
|
changeset |
files
|
| Fri, 30 Sep 2022 12:44:21 +0200 |
Lukas Stevens |
added documentation about new order prover
|
changeset |
files
|
| Fri, 30 Sep 2022 12:41:32 +0200 |
Lukas Stevens |
tweaked
|
changeset |
files
|
| Fri, 30 Sep 2022 09:27:25 +0200 |
Fabian Huch |
tweaked;
|
changeset |
files
|
| Thu, 29 Sep 2022 14:03:40 +0000 |
haftmann |
moved relevant theorems from theory Divides to theory Euclidean_Division
|
changeset |
files
|
| Thu, 29 Sep 2022 14:15:01 +0200 |
Fabian Huch |
amend jenkins ci build;
|
changeset |
files
|
| Thu, 29 Sep 2022 13:58:26 +0200 |
Fabian Huch |
restructured ci profile into modular ci build system;
|
changeset |
files
|
| Wed, 28 Sep 2022 19:14:57 +0100 |
paulson |
more structured proofs
|
changeset |
files
|
| Wed, 28 Sep 2022 11:23:49 +0100 |
paulson |
fixed some theory presentation issues (?)
|
changeset |
files
|