src/HOL/Imperative_HOL/Heap.thy
changeset 37947 844977c7abeb
parent 37723 831b3eb7ed8e
child 38408 721b4d6095b7