#1373 (Jan 2, 2021, 3:16:14 AM)

1. more verbosity for potentially bulky presentation; (detail / hgweb)
2. tuned signature -- prefer Isabelle/ML structure Integer (despite minor confusion due to canonical argument order of "pow"); (detail / hgweb)
3. tuned signature -- prefer Isabelle/ML structure Integer; (detail / hgweb)
4. tuned signature -- prefer Isabelle/ML structure Integer; (detail / hgweb)

Started by an SCM change

This run spent:

• 2 hr 26 min waiting;
• 1 hr 30 min build duration;
• 3 hr 56 min total from scheduled to completion.