src/HOL/Hoare/SepLogHeap.thy
changeset 66831 29ea2b900a05
parent 62042 6c6ccf573479