.6955 /usr/wiss/slind/hol/hol90.4/contrib/mutrec/src/mut_rec_ty.sml
:X66
