src/HOL/Hoare/Examples.thy
changeset 51693 1eb533ea1480
parent 42154 478bdcea240a
child 58860 fee7cfa69c50