Library
  signature FIXITY
  signature NAMES
  structure Names
is
#if defined(NEW_CM)
  $/basis.cm
#endif
  ../compat/sources.cm
  ../table/sources.cm
  ../global/sources.cm
  ../lambda/sources.cm
  names.sig
  names.fun
  names.sml