src/HOL/Coinduction.thy
changeset 54560 7f36da77130d
parent 54555 e8c5e95d338b
child 58814 4c0ad4162cb7