tuned -- follow clone in $ISABELLE_HOME/src/HOL/Imperative_HOL/Heap_Monad.thy;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rAFP459c3312f115: minor performance tuning: avoid redundant BigInt construction;
- Branches
- Unknown
- Tags