src/HOL/HOLCF/Fixrec.thy
changeset 52435 6646bb548c6b
parent 49759 ecf1d5d87e5e
child 58880 0baae4311a9f