src/HOL/Coinduction.thy
changeset 54560 7f36da77130d
parent 54555 e8c5e95d338b
child 58814 4c0ad4162cb7
equal deleted inserted replaced
54559:39d91cac6e91 54560:7f36da77130d