Library
  signature CONVERTER
  structure Converter
  signature TOMEGAPRINT
  structure TomegaPrint
  signature TOMEGACOVERAGE
  structure TomegaCoverage
  signature TOMEGATYPECHECK
  structure TomegaTypeCheck
  signature TOMEGAABSTRACT
  structure TomegaAbstract
  signature TOMEGANAMES
  structure TomegaNames

  signature REDUNDANT	
  structure Redundant

  signature OPSEM
  structure Opsem
is
#if defined(NEW_CM)
  $/basis.cm
#endif
  ../global/sources.cm
  ../lambda/sources.cm
  ../worldcheck/sources.cm
  ../cover/sources.cm
  ../formatter/sources.cm
  ../names/sources.cm
  ../print/sources.cm
  ../typecheck/sources.cm
  ../subordinate/sources.cm
  ../meta/sources.cm
  ../modes/sources.cm
  ../trail/sources.cm
  opsem.sig
  opsem.fun 
  converter.sig
  converter.fun 
  typecheck.sig
  typecheck.fun
  tomegaprint.sig
  tomegaprint.fun 
  tomeganames.sig
  tomeganames.fun
  unify.sig
  unify.fun
  coverage.sig
  coverage.fun
  redundant.sig
  redundant.fun
  abstract.sig
  abstract.fun
  tomega.sml