ShiftOps.Mesa
Last Edited by: Spreitzer, November 7, 1985 8:27:44 pm PST
ShiftOps
:
CEDAR
DEFINITIONS
= {
ShiftOp:
TYPE
= {BothOff, BothOn, Looking, Storing};
}.