#690 (Jul 17, 2018, 2:00:59 AM)

1. Tagged some more files in HOL-Analysis (detail / hgweb)
2. Made simproc for sqrt/root of numeral more robust (detail / hgweb)
3. merged (detail / hgweb)
4. merged (detail / hgweb)
5. more examples for Code_Lazy (detail / hgweb)

Started by an SCM change

This run spent:

• 1 hr 10 min waiting;
• 1 hr 15 min build duration;
• 2 hr 26 min total from scheduled to completion.