src/HOL/Hoare/Pointers0.thy
changeset 35898 c890a3835d15
parent 35419 d78659d1723e
child 38353 d98baa2cf589