#940 (Jun 5, 2017, 9:11:35 PM)

1. avoid Local_Theory.reset in application space (detail / hgweb)
2. tuned (detail / hgweb)
3. specific output setup is not supposed to intrude regular import theory (detail / hgweb)
4. avoid duplicate (detail / hgweb)
5. streamlined code setup for fake terms (detail / hgweb)
6. modernized (code) setup for enumeration predicates (detail / hgweb)
7. simplified setup (detail / hgweb)
8. executable domain membership checks (detail / hgweb)

Started by an SCM change

This run spent:

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