#160 (Oct 4, 2016, 12:50:10 AM)

1. proof of concept for algebraically founded word types (detail / hgweb)
2. more lemmas (detail / hgweb)
3. option to report results of solve_direct as explicit warnings (detail / hgweb)
4. modernized option (detail / hgweb)
5. CONTRIBUTORS (detail / hgweb)
6. Probability: move some theorems from AFP/Density_Compiler (detail / hgweb)
7. Probability: variant of central limit theorem with non-zero mean (detail / hgweb)
8. HOL-Probability: more about probability, prepare for Markov processes in the AFP (detail / hgweb)
9. Merge (detail / hgweb)
10. new theorems including the theory FurtherTopology (detail / hgweb)
11. clarified magic values (see also java/io/BufferedInputStream.java); (detail / hgweb)
12. clarified stream operations;
    added XZ data compression; (detail / hgweb)
13. tuned signature; (detail / hgweb)
14. clarified modules;
    afford explicit string composition in terminate_lines; (detail / hgweb)
15. more general read_stream: return actual byte count; (detail / hgweb)
16. clarified modules; (detail / hgweb)

Started by an SCM change

This run spent:

• 8.9 sec waiting;
• 1 hr 17 min build duration;
• 1 hr 17 min total from scheduled to completion.