<> <> <<>> <<>> DIRECTORY FingerLog; RemoteFingerOps: CEDAR DEFINITIONS ~ BEGIN OPEN FingerLog; PlayLogProc: TYPE = PROC [items: LIST OF LogEntry] RETURNS [success: BOOLEAN]; PlayLog: PlayLogProc; END.