src/HOL/HOLCF/Fixrec.thy
changeset 63915 bab633745c7f
parent 62175 8ffc4d0e652d
child 65380 ae93953746fc