src/HOL/Hoare/HeapSyntaxAbort.thy
changeset 60299 5ae2a2e74c93
parent 41959 b460124855b8
child 62042 6c6ccf573479
equal deleted inserted replaced
60298:7c278b692aae 60299:5ae2a2e74c93