-- TimeP15V2.Mesa
-- Copyright (C) 1986 by Xerox Corporation. All rights reserved.
-- Generated by demers.pa at September 27, 1986 11:22:35 am PDT
-- using Sirocco [1.0] of September 25, 1986 3:44:23 am PDT
DIRECTORY
CrRPC,
Rope;
TimeP15V2: CEDAR DEFINITIONS ~ {
ROPE: TYPE ~ Rope.ROPE;
Time: TYPE ~ CARD;
earliestTime: CARD ~ 2114294400;
}...