src/HOL/Coinduction.thy
changeset 58410 6d46ad54a2ab
parent 54555 e8c5e95d338b
child 58814 4c0ad4162cb7