前半句是过去完成时,后半句是过去进行时.过去完成时表示的过去的过去,意思就是说,MADRID已经把这条法律撤销了,但是Toledo依然在执行（这条法律）.