Summary
- proper Go setup, following Isabelle/1e7d4372fe3d;
- tuned proofs: avoid z3 to make it work on arm64-linux;
- tuned proofs: avoid z3 to make it work on arm64-linux;
- tuned proofs: avoid z3 to make it work on arm64-linux;
- tuned proofs: avoid z3 to make it work on arm64-linux;
- tuned proofs: avoid z3 to make it work on arm64-linux;
- updates to new time function generator that now translates undefined to undefined, not 0
- Fixes mostly for log_mono aliasing
- Brought this new entry up-to-date with the development version