libats/smlbas/SATS/general.sats

libats/smlbas/SATS/array.sats
libats/smlbas/DATS/array.dats

libats/smlbas/SATS/array2.sats
libats/smlbas/DATS/array2.dats

libats/smlbas/SATS/bool.sats
libats/smlbas/DATS/bool.dats

libats/smlbas/SATS/char.sats
libats/smlbas/DATS/char.dats

libats/smlbas/SATS/date.sats
libats/smlbas/DATS/date.dats

libats/smlbas/SATS/list.sats
libats/smlbas/DATS/list.dats

libats/smlbas/SATS/listPair.sats
libats/smlbas/DATS/listPair.dats

libats/smlbas/SATS/math.sats
libats/smlbas/DATS/math.dats

libats/smlbas/SATS/real.sats
libats/smlbas/DATS/real.dats

libats/smlbas/SATS/string.sats
libats/smlbas/DATS/string.dats

libats/smlbas/SATS/time.sats
libats/smlbas/DATS/time.dats
