-- MorePfsNames-Source.df
-- Last tweaked by Mike Spreitzer on October 4, 1990 10:15:11 am PDT

Directory [CedarCommon2.0]<Top>
  MorePfsNames-Source.df                       30-Mar-92 17:12:40 PST

Directory [CedarCommon2.0]<MorePfsNames>
  MorePfsNames.mesa!2                          05-Oct-90 08:42:15 PDT
  RopeSequence.mesa!2                          05-Oct-90 08:03:42 PDT
  RopeParts.mesa!2                             05-Oct-90 07:51:53 PDT

  MorePfsNamesImpl.mesa!3                      05-Oct-90 08:43:12 PDT
  RopeSequenceImpl.mesa!3                      05-Oct-90 08:10:39 PDT
  RopePartsImpl.mesa!4                         30-Mar-92 16:12:02 PST

  RopeSequencePrivate.mesa!1                   04-Oct-90 11:06:25 PDT