merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE066d5df144f0: assume total operation: ProcessHandle.current().info.startInstant appears to…
rISABELLE80bcebe6cf33: require the presence of free variables to do abduction in Sledgehammer - Branches
- Unknown
- Tags
Merged Changes
Merged Changes