Group is
  ../global/sources.cm
  ../trail/sources.cm
  ../table/sources.cm
  intsyn.sig
  intsyn.fun
  tomega.sig
  tomega.fun
  whnf.sig
  whnf.fun
  conv.sig
  conv.fun 
  constraints.sig
  constraints.fun
  unify.sig
  unify.fun 
  abstract.sig	
  abstract.fun
  approx.sig
  approx.fun
  normalize.sig
  normalize.fun
  lambda.sml