| 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
|
| Wed, 28 Sep 2022 11:00:13 +0200 |
wenzelm |
recover informal "&" from 0c18df79b1c8;
|
changeset |
files
|
| Tue, 27 Sep 2022 22:57:30 +0100 |
paulson |
added a couple of structured proofs
|
changeset |
files
|
| Tue, 27 Sep 2022 18:02:34 +0100 |
paulson |
More obsolete "unfold" calls
|
changeset |
files
|
| Tue, 27 Sep 2022 17:54:20 +0100 |
paulson |
getting rid of apply (unfold ...)
|
changeset |
files
|
| Tue, 27 Sep 2022 17:46:52 +0100 |
paulson |
More syntactic cleanup. LaTeX markup working
|
changeset |
files
|
| Tue, 27 Sep 2022 17:03:23 +0100 |
paulson |
more modernisation of syntax
|
changeset |
files
|