<> <> DIRECTORY FingerLog, RemoteFingerOps; FingerSimpleOps: CEDAR DEFINITIONS ~ BEGIN Log: PROC [logEntry: FingerLog.LogEntry]; AttemptToPlayLog: PROC[]; END.