DIRECTORY AuthenticationP14V2; AuthenticationP14V2Aux: CEDAR DEFINITIONS ~ { OPEN AuthenticationP14V2; ExposeSeqWords: PROC [arg: SeqWords, level: NAT] RETURNS [res: ROPE]; ExposeBlock: PROC [arg: Block, level: NAT] RETURNS [res: ROPE]; ExposeCredentialsPackage: PROC [arg: CredentialsPackage, level: NAT] RETURNS [res: ROPE]; ExposeStrongVerifier: PROC [arg: StrongVerifier, level: NAT] RETURNS [res: ROPE]; ExposeCredentialsType: PROC [arg: CredentialsType, level: NAT] RETURNS [res: ROPE]; ExposeCallProblem: PROC [arg: CallProblem, level: NAT] RETURNS [res: ROPE]; ExposeStrongCredentials: PROC [arg: StrongCredentials, level: NAT] RETURNS [res: ROPE]; ExposeWhich: PROC [arg: Which, level: NAT] RETURNS [res: ROPE]; ExposeCredentials: PROC [arg: Credentials, level: NAT] RETURNS [res: ROPE]; ExposeProblem: PROC [arg: Problem, level: NAT] RETURNS [res: ROPE]; }... ÐAuthenticationP14V2Aux.Mesa Copyright (C) 1986 by Xerox Corporation. All rights reserved. Generated by Demers.pa at January 6, 1987 4:10:36 pm PST using Sirocco [2.0] of January 6, 1987 4:07:33 pm PST Ê…˜šœ™Jšœ>™>Jšœ8™8Jšœ5™5J˜—šÏk ˜ J˜—J˜šÏnœœ œ˜-Jšœ˜J˜Jš žœœœœœ˜EJ˜Jš ž œœœœœ˜?J˜Jš žœœ"œœœ˜YJ˜Jš žœœœœœ˜QJ˜Jš žœœœœœ˜SJ˜Jš žœœœœœ˜KJ˜Jš žœœ!œœœ˜WJ˜Jš ž œœœœœ˜?J˜Jš žœœœœœ˜KJ˜Jš ž œœœœœ˜CJ˜—J˜J˜—…—vË