src/HOL/Hoare/HeapSyntax.thy
changeset 51693 1eb533ea1480
parent 35316 870dfea4f9c0