src/HOL/Hoare/Heap.thy
changeset 39072 1030b1a166ef
parent 38353 d98baa2cf589
child 44890 22f665a2e91c