Changes

Summary

1. Merge
2. reverted simprule status on a new lemma
3. merged
4. tiny bit of lemma hacking
5. tuned --- fewer warnings;
6. tuned --- fewer warnings;
7. tuned --- avoid deprecated conversions between certain number type;
8. tuned --- avoid deprecated Predef.any2stringadd;
9. tuned --- silence odd warning;
10. tuned --- fewer warnings;
11. tuned --- fewer warnings;
12. tuned --- fewer warnings;
13. tuned --- fewer warnings;
14. clarified signature, according to Isabelle/Scala;
15. download more directly, via means of JVM;
16. download on separate thread;
17. clarified signature;
18. tuned;
19. proper relative path (see also df49ca5da9d0, 5b15eee1a661, etc.);
20. tuned signature;
21. NEWS
22. lemma diffusion
23. more connections between mset _ = mset _ and permutations
24. dissolve theory with duplicated name from afp