wenzelm [Fri, 30 Sep 2022 19:26:28 +0200] rev 76228
restore NEWS, before commit accidents 2aad8698f82f and 10945fc183cd;
Lukas Stevens <mail@lukas-stevens.de> [Fri, 30 Sep 2022 12:44:21 +0200] rev 76227
added documentation about new order prover
- new prover for partial and linear orders by Lukas Stevens and Tobias Nipkow
- See NEWS for more context
Lukas Stevens <mail@lukas-stevens.de> [Fri, 30 Sep 2022 12:41:32 +0200] rev 76226
tweaked
Fabian Huch <huch@in.tum.de> [Fri, 30 Sep 2022 09:27:25 +0200] rev 76225
tweaked;
haftmann [Thu, 29 Sep 2022 14:03:40 +0000] rev 76224
moved relevant theorems from theory Divides to theory Euclidean_Division
Fabian Huch <huch@in.tum.de> [Thu, 29 Sep 2022 14:15:01 +0200] rev 76223
amend jenkins ci build;
Fabian Huch <huch@in.tum.de> [Thu, 29 Sep 2022 13:58:26 +0200] rev 76222
restructured ci profile into modular ci build system;
paulson <lp15@cam.ac.uk> [Wed, 28 Sep 2022 19:14:57 +0100] rev 76221
more structured proofs
paulson <lp15@cam.ac.uk> [Wed, 28 Sep 2022 11:23:49 +0100] rev 76220
fixed some theory presentation issues (?)
wenzelm [Wed, 28 Sep 2022 11:00:13 +0200] rev 76219
recover informal "&" from 0c18df79b1c8;