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 |