Library
  signature UNIQUE
  structure Unique
  structure UniqueTable
is
#if defined(NEW_CM)
  $/basis.cm
#endif
  ../global/sources.cm
  ../lambda/sources.cm
  ../names/sources.cm
  ../paths/sources.cm
  ../table/sources.cm
  ../formatter/sources.cm
  ../print/sources.cm
  ../subordinate/sources.cm
  ../modes/sources.cm
  ../typecheck/sources.cm
(*  ../order/sources.cm *)
(*  ../thm/sources.cm *)
(*  ../terminate/sources.cm *)
  ../index/sources.cm
  ../solvers/sources.cm
  ../worldcheck/sources.cm
  ../timing/sources.cm
  unique.sig
  unique.fun
  unique.sml