Library
  signature ELAB
  structure Elab
is 
#if defined(NEW_CM)
  $/basis.cm
#endif
  ../global/sources.cm
  ../lambda/sources.cm
  ../typecheck/sources.cm
  ../print/sources.cm
  elab.sig
  elab.fun
  elab.sml