Group is
  ../global/sources.cm
  intsyn.sig
  intsyn.fun
  trail.sig
  trail.fun
  notrail.fun
  whnf.sig
  whnf.fun
  conv.sig
  conv.fun 
  pattern.sig
  pattern.fun
  constraints.sig
  constraints.fun
  unify.sig
  unify.fun 
  abstract.sig	
  abstract.fun
  lambda.sml