stipulated

STIPULATED, pp. Agreed; contracted; covenanted. It was stipulated that Great Britain should retain Gibraltar.