thys/Hoare_abc.thy
changeset 10 03c5f0393a2c
parent 0 1378b654acde
child 11 f8b2bf858caf