Library
  signature TIMING
  structure Timing
  signature TWELF
  structure Twelf
  signature MTPI
  structure MTPi
  signature CONVERTER
  structure Converter
  signature INTSYN
  structure IntSyn
  structure PrintOMDoc
  structure PrintTwega
  (* signature FLIT
  structure Flit commented out because I could not adapt FLIT to the module system *)
  signature STYLECHECK
  structure StyleCheck
  structure Subordinate
is
  src/frontend/sources.cm