thys/Hoare_abc2.thy
changeset 23 452e8b557b63
parent 17 86918b45b2e6