src/HOL/Hoare/HeapSyntax.thy
changeset 39072 1030b1a166ef
parent 35316 870dfea4f9c0