#528 (Oct 16, 2016, 6:31:03 PM)

1. clarified prover-specific rules (detail / hgweb)
2. dropped potentially explosive rule for groebner simpset, with no observable effect on examples (detail / hgweb)
3. simplified fact references (detail / hgweb)
4. avoid effectively subsumed rules;
   simplified fact reference (detail / hgweb)

Started by an SCM change

This run spent:

• 5 min 1 sec waiting;
• 1 hr 31 min build duration;
• 1 hr 36 min total from scheduled to completion.