#851 (Jan 23, 2019, 12:50:09 AM)

1. merged (detail / hgweb)
2. redid tagging for 3 theories i.e. Determinants, Change_of_Vars, Finite_Cartesian_Product (detail / hgweb)
3. Backed out changeset 1bc422c08209 -- obsolete in AFP/5d11846ac6ab; (detail / hgweb)
4. really keep lambdas in translation if only predicates are missing (detail / hgweb)
5. tune ATP settings (detail / hgweb)
6. Added triangular numbers (detail / hgweb)
7. keep Local_Theory.reset for now -- still required in many AFP sessions (amending 1c201e4792cb); (detail / hgweb)
8. merged (detail / hgweb)
9. use polyml-test-0a6ebca445fc by default: already quite stable; (detail / hgweb)
10. renamings and new material (detail / hgweb)
11. merged (detail / hgweb)
12. some renamings and a bit of new material (detail / hgweb)
13. slightly more conventional naming schema (detail / hgweb)
14. Local_Theory.reset only required for toplevel interaction, attempt to withhold it from user space (detail / hgweb)

Started by an SCM change

This run spent:

• 6.2 sec waiting;
• 1 hr 23 min build duration;
• 1 hr 23 min total from scheduled to completion.