src/HOL/Imperative_HOL/Heap_Monad.thy
changeset 62337 d3996d5873dd
parent 62026 ea3b1b0413b4
child 63167 0909deb8059b