merged
Description
Description
Details
Details
- Provenance
paulson Authored on - Parents
- rISABELLE5a8c93a5ab4f: fixed a bunch of ugly proofs
rISABELLE1f959abe99d5: Add more tacing to sledgehammer_isar_trace - Branches
- Unknown
- Tags
- Unknown
Merged Changes
Merged Changes
- e7284278796b clarified signature;Author
- e18e15b9e2ab updated to sqlite-jdbc-3.32.3.2;Author
- 14be5c341377 support arm64-linux;Author
- 728da67527b9 detect arm64-linux platform;Author
- 0973a594be72 clarified names;Author
- 676066aa4798 clarified signature;Author
- 626920749f5d tuned signature;Author
- 4075560b3d5c clarified message;Author
- b8708212bdd5 clarified message;Author
- 6916b48b375c clarified names;Author