(* ****** ****** *)
//
// 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] *)
