| Sun, 02 Oct 2022 16:05:34 +0200 |
wenzelm |
provide naproche-20221002;
|
changeset |
files
|
| Sat, 01 Oct 2022 21:58:08 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Sat, 01 Oct 2022 21:13:45 +0200 |
wenzelm |
clarified signature: more operations;
|
changeset |
files
|
| Sat, 01 Oct 2022 20:10:56 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Sat, 01 Oct 2022 16:07:05 +0200 |
wenzelm |
tuned, following hints by IntelliJ IDEA;
|
changeset |
files
|
| Sat, 01 Oct 2022 15:42:52 +0200 |
wenzelm |
clarified signature, to support external tools like "isabelle narration";
|
changeset |
files
|
| Sat, 01 Oct 2022 13:08:34 +0000 |
haftmann |
syntactic type classes for signed division operators
|
changeset |
files
|
| 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
|