| 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 |