Created by Susan Owicki Last modified on Wed Feb 10 09:11:06 PST 1993 by owicki
INTERFACE Protocol; VAR (*READONLY*) version := 1; (* Protocol version number *) END Protocol.