Library
  signature FGN_OPN
  functor FgnOpnTable
  signature INTSYN
  structure IntSyn
  signature WHNF
  structure Whnf
  signature CONV
  structure Conv
  signature CONSTRAINTS
  structure Constraints
  signature UNIFY
  structure UnifyTrail
  structure UnifyNoTrail
  signature ABSTRACT
  structure Abstract
  signature APPROX
  structure Approx
is
#if defined(NEW_CM)
  $/basis.cm
#endif
  ../global/sources.cm
  ../trail/sources.cm
  fgnopn.sig
  fgnopntable.fun
  intsyn.sig
  intsyn.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
  lambda.sml