#1590 (May 15, 2018, 5:02:41 PM)

1. Merged (detail / hgweb)
2. Merged (detail / hgweb)
3. Merged (detail / hgweb)
4. Proved induction rule for gb_schema_aux (detail / hgweb)
5. Changed algorithm schema to discard useless pairs immediately (detail / hgweb)
6. minor cleanup and adjustments to automata library (detail / hgweb)

Started by an SCM change

This run spent:

• 6.3 sec waiting;
• 7 min 22 sec build duration;
• 7 min 29 sec total from scheduled to completion.