#586 (Nov 21, 2016, 5:25:28 PM)

1. merge (detail / hgweb)
2. added three theory files, for signed multisets and friends (detail / hgweb)
3. Deep_Learning: ereal -> ennreal; add missing type class instance poly_mapping :: ordered_cancel_comm_monoid_add (otherwise mpoly::ring_no_divisors fails) (detail / hgweb)

Started by an SCM change

This run spent:

• 8.5 sec waiting;
• 2 min 30 sec build duration;
• 2 min 38 sec total from scheduled to completion.