src/HOL/Hoare/ExamplesAbort.thy
changeset 15584 3478bb4f93ff
parent 13875 12997e3ddd8d
child 16417 9bc16273c2d4