úΦñ!      BMutually recursive datatypes of higher order logic types and termsMIT Joe Leslie-Hurd <joe@gilith.com> provisionalportableSafe!  !  !      !     hol-1.0-2ICMDOPJZTQU0QwFaWd0wHOL.DataConstDef ConstProvUndefConstProv DefConstProv AbsConstProv RepConstProvConstTermData ConstTermVarTermAppTermAbsTermTermVar TypeOpDef TypeOpProvUndefTypeOpProv DefTypeOpProvTypeOpTypeVarTypeDataVarTypeOpTypeTypeName