#375 (Jul 21, 2017, 1:09:23 AM)

1. merged (detail / hgweb)
2. improve setup for fMin/fMax/fsum; courtesy of Ondřej Kunčar & Florian Haftmann (detail / hgweb)
3. tuned code setup (detail / hgweb)
4. strengthened tactic (detail / hgweb)
5. Divided Convex_Euclidean_Space.thy in half, creating new theory Starlike (detail / hgweb)
6. strengthened tactic (for 'fun' BNF) (detail / hgweb)

Started by an SCM change

This run spent:

• 19 min waiting;
• 1 hr 29 min build duration;
• 1 hr 49 min total from scheduled to completion.