-- TimeServerClockExtras.mesa
  -- Copyright (C) 1987 by Xerox Corporation. All rights reserved.
  -- Tim Diebert  6-Aug-87  5:23:28  
  
  TimeServerClockExtras: DEFINITIONS = BEGIN
    
    RequestTime: PROCEDURE[];
    Inconsistent: ERROR;
     
    END...