src/HOL/Coinduction.thy
changeset 58839 ccda99401bc8
parent 58814 4c0ad4162cb7
child 58889 5b7a9633cfa8