HOL-CSP.Fixrec_HOLCF