#1297 (Jan 10, 2018, 5:17:57 PM)

1. "tl" is part of "generate"; replaced "in_" lemmas (what properties do elements of certain set satisfy) by "set_" lemmas (explicit equations to set comprehension) (detail / hgweb)
2. merged (detail / hgweb)
3. simplified definition (detail / hgweb)
4. tuned op's (detail / hgweb)

Started by an SCM change

This run spent:

• 6.1 sec waiting;
• 3 hr 19 min build duration;
• 3 hr 20 min total from scheduled to completion.