maintain previous theory identifier to support semantic caching, notably in Isabelle/Naproche;