src/HOL/Hoare/Pointer_ExamplesAbort.thy
changeset 68743 91162dd89571
parent 44890 22f665a2e91c
child 71989 bad75618fb82