Group is
  ../lambda/sources.cm
  ../global/sources.cm
  ../table/sources.cm
  ../formatter/sources.cm
  ../print/sources.cm
  ../subordinate/sources.cm
  ../modes/sources.cm
  ../typecheck/sources.cm
  ../order/sources.cm
  ../thm/sources.cm
  ../terminate/sources.cm
  ../solvers/sources.cm
  ../worldcheck/sources.cm
  ../typecheck/sources.cm
  cover.sig
  cover.fun
  total.sig
  total.fun
  cover.sml