-- YggNavImpls.config
-- Copyright Ó 1988 by Xerox Corporation.  All rights reserved.
-- Last edited by
-- Bob Hagmann May 12, 1988 4:12:13 pm PDT

YggNavImpls: CONFIG
  IMPORTS
    Random, RefText, Rope, YggDID, YggRep, YggTransaction
  EXPORTS
    ALL
  CONTROL
    YggNavImpl
  = BEGIN

  YggNavImpl;

  END.