Group
  structure DfaData

  signature DfaString
  structure DfaString
  signature Dfa
  functor Dfa
  signature DfaOptions
  functor DfaOptions
is
  dfa.sml
  dfaData.sml
  dfaError.sml
  dfaOptions.sml
  dfaPassOne.sml
  dfaPassThree.sml

#if (SMLNJ_MINOR_VERSION > 40)
  dfaPassTwo.sml
  dfaString.sml
  dfaUtil.sml
  $/basis.cm
#else
  dfaPassTwo.orig.sml
  dfaString.orig.sml
  dfaUtil.orig.sml
#endif

  ../../Util/util.cm
  ../../Util/SymDict/symdict.cm