merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE26a1d66b9077: tuned proofs --- avoid z3, which is absent on arm64-linux;
rISABELLE1bd3463e30b8: more elementary swap - Branches
- Unknown
- Tags
Merged Changes
Merged Changes