Group is
  ../table/sources.cm
  ../global/sources.cm
  ../lambda/sources.cm
  names.sig
  names.fun
  names.sml