<<>> <> <> <> DIRECTORY LocalRegistryAgent; LocalRegistration: CEDAR DEFINITIONS ~ { AddProps: PROC [delta: LocalRegistryAgent.PropList]; <> RemProps: PROC [delta: LocalRegistryAgent.PropList]; <> }.