Group is
  ../global/sources.cm
  ../lambda/sources.cm
  ../worldcheck/sources.cm
  ../cover/sources.cm
  opsem.sig
  opsem.fun
  converter.sig
  converter.fun 
  typecheck.sig
  typecheck.fun
  tomegaprint.sig
  tomegaprint.fun 
  unify.sig
  unify.fun
  coverage.sig
  coverage.fun
  tomega.sml