Por otro lado, los actuales municipios extremeños de San Martín de Trevejo, Trevejo y Villamiel (en el Valle de Jálama) se adscribían por entonces a la provincia de Salamanca, dentro del antiguo partido judicial de Ciudad Rodrigo, pero no se agrupaban en la división del Campo de Robledo, dada su pertenencia a la Orden de San Juan.