#1606 (May 23, 2018, 9:11:11 AM)

1. consider dvdE for automated classical proving;
   automatic classical rule to derive a dvd b from b mod a = 0 (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting;
• 1 hr 46 min build duration;
• 1 hr 47 min total from scheduled to completion.