thys/Hoare_abc.thy
changeset 18 d826899bc424
parent 11 f8b2bf858caf