src/HOL/HOLCF/ex/Hoare.thy
changeset 45802 b16f976db515
parent 45606 b1e1508643b1
child 48564 eaa36c0d620a