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