Summary
- merged
- more specific keyword kinds;
- tuned whitespace;
- include zarith in the default opam setup
- dedicated environment setting for ocaml environment: ISABELLE_OPAM_ROOT is always present even if no envionrment is available
- proper theory for type of dual ordered lattice in distribution
- slightly more complete check of code generation for immutable arrays