Group is
  ../lambda/sources.cm
  ../table/sources.cm
  ../global/sources.cm
  index.sig	
  index.fun
  index-skolem.fun
  index.sml