Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

1. more zproofs;
2. minor performance tuning: more direct abstraction level;
3. more general Logic.incr_indexes_operation; more special Logic.incr_indexes;
4. tuned;
5. tuned;
6. clarified modules;
7. clarified ML;
8. clarified signature; minor performance tuning;
9. tuned signature;
10. avoid accidental capture of theory value, and thus reduce heap size again (amending 5109e4b2a292);
11. tuned;
12. more robust: proper Proofterm.get_proofs_level with bound check;
13. tuned;
14. clarified signature: fewer tuples;
15. clarified signature: fewer tuples;
16. clarified signature: more explicit get_proofs_level with bounds check;

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

1. adapted to Isabelle/99bc2dd45111;