#213 (Dec 22, 2016, 12:50:09 AM)

1. emphasize dedicated rewrite rules for congruences (detail / hgweb)
2. moved and exported tactic (detail / hgweb)
3. export ML function (towards nonuniform datatypes) (detail / hgweb)
4. generalized ML function (towards nonuniform datatypes) (detail / hgweb)
5. generalized ML function (towards nonuniform datatypes) (detail / hgweb)
6. merge (detail / hgweb)
7. renamed confusing variable names (detail / hgweb)

Started by an SCM change

This run spent:

• 8.4 sec waiting;
• 1 hr 2 min build duration;
• 1 hr 3 min total from scheduled to completion.