THE 15th CENTURY: A papal bull of 1478 introduced the Spanish version of this tribunal; executions began several years later