Código de procedimientos civiles para el Distrito Federal y el territorio de la Baja California, reformado y adicionado en virtud de la autorización concedida al ejecutivo por decreto de 1° de junio de 1880