with Corba.Repository_Root.Aliasdef ; package Corba.Aliasdef renames Corba.Repository_Root.Aliasdef ;