src/HOL/Hoare/SchorrWaite.thy
changeset 47220 52426c62b5d0
parent 44890 22f665a2e91c
child 60585 48fdff264eb2