Library
  signature THMSYN
  structure ThmSyn
  signature THMPRINT
  structure ThmPrint
  signature THM
  structure Thm
is
#if defined(NEW_CM)
  $/basis.cm
#endif
  ../global/sources.cm
  ../lambda/sources.cm
  ../names/sources.cm
  ../formatter/sources.cm
  ../modes/sources.cm
  ../order/sources.cm
  ../paths/sources.cm
  ../tabling/sources.cm
  thmsyn.sig
  thmsyn.fun
  thmprint.sig
  thmprint.fun
  thm.sig	 
  thm.fun
  thm.sml