(* ****** ****** *) // // HX-2017-01-28: // For downstream staloading // (* ****** ****** *) // #staload INTINF = "./SATS/intinf.sats" #staload INTINF_t = "./SATS/intinf_t.sats" #staload INTINF_vt = "./SATS/intinf_vt.sats" // (* ****** ****** *) // #staload _(*INTINF_t*) = "./DATS/intinf_t.dats" #staload _(*INTINF_vt*) = "./DATS/intinf_vt.dats" // #staload GINTINF_t = "./DATS/gintinf_t.dats" // (* ****** ****** *) (* end of [mylibies.hats] *)