Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. minor performance tuning: avoid redundant BigInt construction;
Changeset 75653:ea4f5b0ef497 by wenzelm:
minor performance tuning: avoid redundant BigInt construction;
The file was modified src/HOL/Imperative_HOL/Heap_Monad.thy