Library
  signature CHECKING
  structure Checking
  signature REDUCES
  structure Reduces
  signature LPO
  structure Lpo
is
#if defined(NEW_CM)
  $/basis.cm
#endif
  ../global/sources.cm
  ../trail/sources.cm
  ../lambda/sources.cm
  ../names/sources.cm
  ../print/sources.cm
  ../formatter/sources.cm
  ../index/sources.cm
(*  (* ../order/sources.cm *) *)
  ../subordinate/sources.cm
  ../paths/sources.cm
  ../solvers/sources.cm
  ../table/sources.cm
  checking.sig
  checking.fun
  reduces.sig
  reduces.fun 
  lpo.sig
  lpo.fun
  lpochecking.fun
  terminate.sml