Build #505 (Sep 14, 2017 7:24:12 PM)

1. two new simp rules (detail / hgweb)
2. added lemma (detail / hgweb)
3. added lemma; zip_with -> map2 (detail / hgweb)
4. introduced zip_with (detail / hgweb)
5. added lemma (detail / hgweb)
6. clarified signature: proper result; (detail / hgweb)
7. new theorem about exposed faces (detail / hgweb)
8. back to post-release mode -- after fork point; (detail / hgweb)
9. tuned; (detail / hgweb)
10. Added tag Isabelle2017-RC2 for changeset e9d8ff531700 (detail / hgweb)
11. tuned; (detail / hgweb)
12. updated for release; (detail / hgweb)
13. tuned headers; (detail / hgweb)
14. Lawrence Paulson's contributions (detail / hgweb)
15. merged (detail / hgweb)
16. Correction of typos and a bit of streamlining (detail / hgweb)
17. listed contribution (detail / hgweb)

Started by an SCM change

This run spent:

• 8.7 sec waiting in the queue;
• 1 hr 39 min building on an executor;
• 1 hr 39 min total from scheduled to completion.