src/HOL/Hoare/SepLogHeap.thy
changeset 71751 abf3e80bd815
parent 62042 6c6ccf573479
child 72990 db8f94656024