Group is
  ../lambda/sources.cm
  ../print/sources.cm
  ../formatter/sources.cm  
  ../index/sources.cm
  ../typecheck/sources.cm
  ../solvers/sources.cm
  compsyn.sig
  compsyn.fun
  ptcompile.sig
  ptcompile.fun
  compile.sig
  fullcomp.sig
  fullcomp.fun
  elabsolution.sig
  elabsolution.fun
  cprint.sig
  cprint.fun
  absmachine.sig
  fullmachine.fun
  trace.sig
  trace.fun
  tmachine.fun
  opsem.sml