-- LockImpls.config
-- Last edited by
--   MBrown on January 30, 1984 5:44:34 pm PST

LockImpls: CONFIG
  IMPORTS
    BasicTime, List, Process, SafeStorage, TransactionMap
  EXPORTS
    ALL
  CONTROL
    LockCoreImpl,
    LockWatchdogImpl
  = BEGIN

  LockCoreImpl;
  LockWatchdogImpl;

  END.