Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. Added char, ref, array to heap-storable types
  3. Fixed to also work with non-IntInf default int type
Changeset 66005:10e5265c2a25 by lammich _lammich@in.tum.de_:
merged
Changeset 66004:797ef4889177 by lammich _lammich@in.tum.de_:
Added char, ref, array to heap-storable types
The file was modified src/HOL/Imperative_HOL/Heap.thy (diff)
Changeset 66003:5b2fab45db92 by lammich _lammich@in.tum.de_:
Fixed to also work with non-IntInf default int type
The file was modified src/HOL/Imperative_HOL/Array.thy (diff)