#1784 (Oct 2, 2022, 12:50:06 AM)

1. merged (detail / hgweb)
2. clarified signature: more operations; (detail / hgweb)
3. tuned signature; (detail / hgweb)
4. tuned, following hints by IntelliJ IDEA; (detail / hgweb)
5. clarified signature, to support external tools like "isabelle narration"; (detail / hgweb)
6. syntactic type classes for signed division operators (detail / hgweb)
7. reduce prominence of facts (detail / hgweb)

Started by an SCM change

This run spent:

• 5.5 sec waiting;
• 1 hr 50 min build duration;
• 1 hr 50 min total from scheduled to completion.