src/HOL/Hoare/Hoare.thy
changeset 25247 7bacd1798fc4
parent 24472 943ef707396c
child 28457 25669513fd4c
equal deleted inserted replaced
25246:584d8f2e1fc9 25247:7bacd1798fc4